X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7bf960677344d11a101697c76672a0be4b3759f2..15b3d2b27a3dce7a3b65e88fb0d1732e235117f4:/src/Headers/inputStream.h

diff --git a/src/Headers/inputStream.h b/src/Headers/inputStream.h
index 300f28d..fa8c5c4 100644
--- a/src/Headers/inputStream.h
+++ b/src/Headers/inputStream.h
@@ -14,7 +14,7 @@
 
 struct s_inputStream {
   cstring name;
-  /*@open@*/ /*@dependent@*/ /*@null@*/ FILE *file;
+  /*:open:*/ /*@dependent@*/ /*@null@*/ FILE *file;
   char buffer[STUBMAXRECORDSIZE+1];
   int lineNo;
   size_t charNo;
@@ -59,7 +59,7 @@ extern bool inputStream_getPath (cstring p_path, inputStream p_s)
 extern /*@observer@*/ cstring inputStream_fileName (inputStream p_s) /*@*/ ;
 extern bool inputStream_isOpen (/*@sef@*/ inputStream p_s) /*@*/ ;
 extern int inputStream_thisLineNumber(inputStream p_s) /*@*/ ;
-extern /*@open@*/ /*@exposed@*/ FILE *inputStream_getFile (inputStream p_s) /*@*/ ;
+extern /*:open:*/ /*@exposed@*/ FILE *inputStream_getFile (inputStream p_s) /*@*/ ;
 
 # else
 # error "Multiple include"