*** empty log message ***

[splint.git] / src / inputStream.c

diff --git a/src/inputStream.c b/src/inputStream.c
index 20fae228e412d1e627322fa54d3949345192c3da..1ef31f9d579988dde5b1a0b76b3cbd966b6717cb 100644 (file)
--- a/src/inputStream.c
+++ b/src/inputStream.c
@@ -332,7 +332,7 @@ extern bool inputStream_getPath (cstring path, inputStream s)
   return rVal;
 }
 
-/*@open@*/ FILE *inputStream_getFile (inputStream s)
+/*:open:*/ FILE *inputStream_getFile (inputStream s)
 {
   llassert (inputStream_isDefined (s));
   return s->file;