From: evans1629 <evans1629>
Date: Mon, 8 Jul 2002 19:05:38 +0000 (+0000)
Subject: Fixed emptyret flag problem.  ("emptyreturn" -> "emptyret" in flags.def)
X-Git-Tag: splint-3_1_0~102
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/1d1a809746837404ac07717ed1b0649e87d9ec8e

Fixed emptyret flag problem.  ("emptyreturn" -> "emptyret" in flags.def)
---

diff --git a/src/flags.def b/src/flags.def
index 4fde87f..f78ed3b 100644
--- a/src/flags.def
+++ b/src/flags.def
@@ -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,