*** empty log message ***

[splint.git] / src / lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index 87c1deb2e579f2a512e7fecb610aab46c8d531f4..58d64ca6405ab3241f8b539f7cd7a3ef2f9dc962 100644 (file)
--- a/src/lcllib.c
+++ b/src/lcllib.c
@@ -139,7 +139,7 @@ lcllib_isSkipHeader (cstring sname)
       
       voptgenerror 
        (FLG_USEVARARGS,
-        message ("Include file <%s> is inconsistent with "
+        message ("Include file <%s.h> is inconsistent with "
                  "ANSI library (should use <stdarg.h>)",
                  cstring_fromChars (libname)),
         tmp);
@@ -211,7 +211,7 @@ lcllib_isSkipHeader (cstring sname)
          
          voptgenerror 
            (FLG_WARNPOSIX,
-            message ("Include file <%s> matches the name of a "
+            message ("Include file <%s.h> matches the name of a "
                      "POSIX library, but the POSIX library is "
                      "not being used.  Consider using +posixlib "
                      "or +posixstrictlib to select the POSIX "