]> andersk Git - splint.git/commitdiff
Fixed emptyret flag problem. ("emptyreturn" -> "emptyret" in flags.def)
authorevans1629 <evans1629>
Mon, 8 Jul 2002 19:05:38 +0000 (19:05 +0000)
committerevans1629 <evans1629>
Mon, 8 Jul 2002 19:05:38 +0000 (19:05 +0000)
src/flags.def

index 4fde87fb83276fa417bc1e23910d2b08e9cfbc6c..f78ed3ba9b4a53583c932692f2af66e5cc5614de 100644 (file)
@@ -1468,7 +1468,7 @@ static flaglist flags =
   },
   {
     FK_CONTROL, FK_NONE, plainFlag,
-    "emptyreturn", 
+    "emptyret", 
     FLG_EMPTYRETURN, 
     "empty return in function declared to return value",
     NULL,
This page took 0.097745 seconds and 5 git commands to generate.