X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/768a340a15bd3bf200883e277f0a33de81d9a8e8..a07995d9a461db88f826d7b4061524ee413ff0e8:/src/clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index da24ba0..1131f59 100644
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -2163,7 +2163,9 @@ sRef checkStateClausesId (uentry ue)
       voptgenerror 
 	(FLG_COMMENTERROR,
 	 message ("Global variable %s used state clause.  (Global variables "
-		  "are not recognized in state clauses.  If there is "
+		  "are not recognized in state clauses.  If they are present "
+		  "they are ignored. "
+		  " If there is "
 		  "sufficient interest in support for this, it may be "
 		  "added to a future release.  Send mail to "
 		  "info@splint.org.)",