Making fixes for Microsoft Visual C++ compiler.

[splint.git] / src / lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index 6fecc48c6a91bec311bac72278f501e3b46c3188..205cbe44e233efd4ddbdf4599b1b028da5cdd61a 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"
 
@@ -46,7 +46,6 @@
 
 # include "lcllib.h"
 # include "llmain.h"
-# include "portab.h"
 
 /*@-incondefs@*/ /*@-redecl@*/
 extern /*:open:*/ /*@dependent@*/ FILE *yyin;
@@ -169,7 +168,6 @@ lcllib_isSkipHeader (cstring sname)
   if (context_getFlag (FLG_SKIPISOHEADERS)
       && context_usingAnsiLibrary ())
     {
-      
       for (i = 0; i < NUMLIBS; i++)
        {
          if (mstring_equal (libname, stdlibs[i]))
@@ -227,11 +225,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 +253,7 @@ lcllib_isSkipHeader (cstring sname)
 
   cstring_free (xname);
   /*@noaccess cstring@*/
-  /*@-nullstate@*/ /*@i233@*/ /* same problem as above */
+  /*@-nullstate@*/ /* same problem as above */
   return FALSE;
   /*@=nullstate@*/
 }