X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/src/flags.def

diff --git a/src/flags.def b/src/flags.def
index 248f91f..fbce747 100644
--- 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
