*** empty log message ***

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index 46abe44c047d7bfa470550774fba80a6ff49618d..3662279b45db5c2f2c2ad0584dc875a4fe48caf2 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -2821,7 +2821,7 @@ static flaglist flags =
   
   {
     FK_NT, FK_MEMORY, modeFlag,
-    "arrayBounds",
+    "arraybounds",
     FLG_ARRAYBOUNDS,
     "Possible out-of-bounds store.  Unable to resolve constraint:",
     "LCLint was unable to resolve a constraint at the top of the function.  If code is correct consider using explict annotation assertions,  ",
@@ -2829,7 +2829,7 @@ static flaglist flags =
   },
   {
     FK_NT, FK_MEMORY, modeFlag,
-    "arrayBoundsRead",
+    "arrayboundsread",
     FLG_ARRAYBOUNDSREAD,
     "Possible out-of-bounds read.  Unable to resolve constraint:",
     "LCLint was unable to resolve a constraint at the top of the function.  If code is correct consider using explict annotation assertions,  ",