diff options
Diffstat (limited to 'src/setdate.h')
| -rw-r--r-- | src/setdate.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/setdate.h b/src/setdate.h index 0a4d3b81..ea76f4d1 100644 --- a/src/setdate.h +++ b/src/setdate.h @@ -24,6 +24,11 @@ #ifdef __cplusplus extern "C" { #endif + +/*@ + @ requires valid_read_string(pathname); + @ assigns \nothing; + @*/ int set_date(const char *pathname, time_t actime, time_t modtime); #ifdef __cplusplus } /* closing brace for extern "C" */ |