X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b8dce3c7c286678208d27713c5380cfe35867101..7ac98eb7e62335f5bb191d2c399d7dae5c1e62ab:/lib/posix.h

diff --git a/lib/posix.h b/lib/posix.h
index fbe0937..aa35f6d 100644
--- a/lib/posix.h
+++ b/lib/posix.h
@@ -467,6 +467,10 @@ struct stat {
   time_t st_mtime; /* evans 2001-08-23 - these were previously st_st_mtime - POSIX spec says st_mtime */
   time_t st_ctime; /* evans 2001-08-23 - these were previously st_st_ctime - POSIX spec says st_ctime */
 } ;
+/*
+** evans 2004-05-19: dependent annotations atted for time_t fields.  Could not find
+** any clear documetation on this, but it seems to be correct. 
+*/
 
 /*
 ** POSIX does not require that the S_I* be functions. They're