]> andersk Git - splint.git/blobdiff - src/flags.def
Committed my changes (but there are several splintme errors currently).
[splint.git] / src / flags.def
index f78ed3ba9b4a53583c932692f2af66e5cc5614de..7ecb38dca167cbd29c1e4bbc71b344d081da9fce 100644 (file)
@@ -1294,7 +1294,7 @@ static flaglist flags =
     "warnmissingglobs",
     FLG_WARNMISSINGGLOBALS,
     "global variable used in modifies clause is not listed in globals list",
-    "A global variable is used in the modifies clause, but it not listed in "
+    "A global variable is used in the modifies clause, but it is not listed in "
     "the globals list.  The variable will be added to the globals list.",
     0, 0
   },
@@ -3810,7 +3810,7 @@ static flaglist flags =
     FK_TYPEEQ, FK_POINTER, plainFlag,
     "zeroptr",
     FLG_ZEROPTR,
-    "tread 0 as a pointer",
+    "treat 0 as a pointer",
     NULL, 0, 0
   },
   {
This page took 0.032877 seconds and 4 git commands to generate.