Fixed warning message for shiftsigned flag. (Reported by Melson Beebe.)

diff --git a/src/flags.c b/src/flags.c
index 1ec7017b0968656d20a54133ce2c13542faa98a4..eb68c11d6dd04df7cdff17ce7484de08953b9efa 100644 (file)
--- a/src/flags.c
+++ b/src/flags.c
@@ -1164,7 +1164,7 @@ flags_identifyFlagAux (cstring s, bool quiet)
            {
              llerror_flagWarning
                (cstring_makeLiteral ("shiftsigned flag is obsolete.  You probably "
-                                     "want bitwisesigned, shiftnegative or shiftsize."));
+                                     "want bitwisesigned, shiftnegative or shiftimplementation."));
            }
          
          res = SKIP_FLAG;

diff --git a/winconfig.h b/winconfig.h
index 1240d5e17fb3dcaa66bdc5e3acfe107e71f0a490..cd9e68d6e279e218194ba78c45ceb8e0c2f21c2b 100644 (file)
--- a/winconfig.h
+++ b/winconfig.h
@@ -4,10 +4,10 @@
 /*@-constmacros@*/
 
 /* The directory where Splint's library files live */
-#define DEFAULT_LARCHPATH ".;C:/splint-3.0.1/lib"
+#define DEFAULT_LARCHPATH ".;C:/splint-3.0.1.6/lib"
 
 /* Splint's imports directory */
-#define DEFAULT_LCLIMPORTDIR ".;C:/splint-3.0.1/imports"
+#define DEFAULT_LCLIMPORTDIR ".;C:/splint-3.0.1.6/imports"
 
 /* system include directory */
 #define GCC_INCLUDE_DIR "C:/include"
@@ -22,13 +22,13 @@
 #define LCL_COMPILE "Compiled using Microsoft Visual C++ 6.0"
 
 /* Splint's version number */
-#define LCL_PARSE_VERSION "Splint 3.0.1.1"
+#define LCL_PARSE_VERSION "Splint 3.0.1.6"
 
 /* Define to disable support LCL files */
 /* #undef NOLCL */
 
 /* Splint's version number and configure/build date */
-#define SPLINT_VERSION "Splint 3.0.1.1 --- 08 Jan 2002"
+#define SPLINT_VERSION "Splint 3.0.1.6 --- 11 Feb 2002"
 
 /* The system's main include directory */
 #define SYSTEM_LIBDIR "C:/include"