]> andersk Git - splint.git/blobdiff - src/nameChecks.c
Fixed -help <mode> bug.
[splint.git] / src / nameChecks.c
index 20e8fa5245eb9c978dce80829dbcf04ca5472f3f..5566114803eb3ba85eeaceb0f791d6d06b157585 100644 (file)
@@ -1487,7 +1487,7 @@ checkAnsiName (uentry ue)
             message
             ("Name %s is reserved for future library extensions.  "
              "Functions that begin with \"mem\" or \"wcs\" and a "
-             "lowercase letter letter may be added to <string.h>. (ISO:7.26.11)",
+             "lowercase letter may be added to <string.h>. (ISO:7.26.11)",
              name),
             uentry_whereLast (ue));
        }
This page took 0.032879 seconds and 4 git commands to generate.