Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index 248f91fb805ad4d280e104224408522dd427e77d..fbce747f257fb0273568ed21ead25688471073fa 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -1981,7 +1981,7 @@ static flaglist flags =
   {
     FK_BOUNDS, FK_MEMORY, plainFlag,
     "impboundsconstraints",
-    FLG_IMPLICTCONSTRAINT,
+    FLG_IMPBOUNDSCONSTRAINTS,
     "generate implicit constraints for functions",
     NULL,
     0, 0