*** empty log message ***

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index bff2633c0866dc989047a9deceabe15c2b3e2e91..e9626b939471b755ee8eb0677a51e5c259bc7e95 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -1325,8 +1325,9 @@ static flaglist flags =
     FK_HELP, FK_NONE, plainFlag,
     "badflag",
     FLG_BADFLAG,
-    "a flag is not recognized or used in an incorrect way",
-    NULL, 0, 0
+    "warn about bad command line flags", 
+    "A flag is not recognized or used in an incorrect way",
+    0, 0
   },
   {
     FK_HELP, FK_NONE, plainFlag,