Fixed problem with assertion checking for negative shifts in

[splint.git] / src / lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index 1cfe85f8c4e4cb705b1a6348ef23fe8f25c3ee49..46b028ed13f67e875b8176f464818990e3b213d6 100644 (file)
--- a/src/lcllib.c
+++ b/src/lcllib.c
@@ -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]))
@@ -396,7 +394,8 @@ loadStandardState ()
                    *tt = '\0';
 
                  lldiagmsg (message ("Standard library: %s", fpath));
-                 lldiagmsg (message ("   (created using %s)", cstring_fromChars (t)));
+                 /* evans 2004-01-13: removed this (it is the libversion which is confusing) */
+                 /*   lldiagmsg (message ("   (created using %s)", cstring_fromChars (t)));                */
                }
 
              sfree (ot);