Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index 6fecc48c6a91bec311bac72278f501e3b46c3188..1cfe85f8c4e4cb705b1a6348ef23fe8f25c3ee49 100644 (file)
--- a/src/lcllib.c
+++ b/src/lcllib.c
@@ -37,7 +37,7 @@
  */
 
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "osd.h"
 # include "version.h"
 
@@ -227,11 +227,10 @@ lcllib_isSkipHeader (cstring sname)
              /*@-nullstate@*/ 
              return TRUE; 
              /*@=nullstate@*/
-             /*@i233@*/
+
              /* evans 2002-03-02: 
-                the returned reference is possibly null,
-                but this should not change the null state of the parameter
-                investigate this warning 
+                  the returned reference is possibly null,
+                  but this should not change the null state of the parameter
              */
            }
        }
@@ -256,7 +255,7 @@ lcllib_isSkipHeader (cstring sname)
 
   cstring_free (xname);
   /*@noaccess cstring@*/
-  /*@-nullstate@*/ /*@i233@*/ /* same problem as above */
+  /*@-nullstate@*/ /* same problem as above */
   return FALSE;
   /*@=nullstate@*/
 }