Fixed bug #697722 Assert error / global

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index da24ba0e951a0ae9074b36240d25d68b642503e6..1131f590095f1c4545310cedbe8a8d91dead79d3 100644 (file)
--- 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.)",