X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/5e3d3b85313a1b5cce5079d62332f63a2ce07423..8ea5df88d4d589854cfd2cf734e203ce58da744d:/src/flags.def

diff --git a/src/flags.def b/src/flags.def
index fbce747..e210f93 100644
--- a/src/flags.def
+++ b/src/flags.def
@@ -1641,7 +1641,7 @@ static flaglist flags =
     "casebreak",
     FLG_CASEBREAK,
     "non-empty case in a switch without preceding break",
-    "Execution falls through from the previous case.", 0, 0
+    "Execution falls through from the previous case (use /*@fallthrough@*/ to mark fallthrough cases).", 0, 0
   },
   {
     FK_CONTROL, FK_NONE, modeFlag,
