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

[splint.git] / src / flags.c

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;