X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7bf960677344d11a101697c76672a0be4b3759f2..15b3d2b27a3dce7a3b65e88fb0d1732e235117f4:/lib/file.xh

diff --git a/lib/file.xh b/lib/file.xh
index 54a5075..9dc0c21 100644
--- a/lib/file.xh
+++ b/lib/file.xh
@@ -3,7 +3,9 @@ extern int fclose (/*@open@*/ FILE *stream)
 			   stream was successfully closed or EOF if any errors were detected. */
    /*@ensures closed stream@*/ ;
 
-extern /*@open@*/ FILE *fopen (const char *filename, const char *mode) 
+/*@open@*/ FILE *fopen (const char *filename, const char *mode);
+/*@open@*/ FILE *fdopen (int fildes, const char *mode);
+
    /*
    ** File modes:
    **       "rb"	read
@@ -13,10 +15,8 @@ extern /*@open@*/ FILE *fopen (const char *filename, const char *mode)
    **       "wb+"	create, truncate, read, write
    **       "ab+"	create, read, write, append
    */
-   ;
 
-extern /*@open@*/ FILE *freopen (char *filename, char *mode, /*@closed@*/ FILE
-*stream) /*@ensures open stream@*/ ;
+extern /*@open@*/ FILE *freopen (char *filename, char *mode, /*@anyopen@*/ FILE *stream) /*@ensures open stream@*/ ;
 
 extern /*@null@*/ char *
   fgets (/*@returned@*/ /*@out@*/ char *s, int n, /*@open@*/ FILE *stream)