Fixed problem with loop guards in loop test effects. New test case

[splint.git] / src / llgrammar.c.der

diff --git a/src/llgrammar.c.der b/src/llgrammar.c.der
index 3a01c2038f45ce76541fc78ccb768937f9da0e5d..773c237ce1d2a914bf87761d262043be6c50c94c 100644 (file)
--- a/src/llgrammar.c.der
+++ b/src/llgrammar.c.der
@@ -200,7 +200,7 @@
 
 
 
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
 # include "llbasic.h"
 # include "lclscan.h"
 # include "checking.h"
@@ -213,7 +213,7 @@ static /*@unused@*/ void yyprint ();
 /*@=noparams@*/
 
 /*@-redecl@*/
-void ylerror (char *) /*@modifies *g_msgstream@*/ ;
+void ylerror (char *) /*@modifies *g_warningstream@*/ ;
 /*@=redecl@*/
 
 bool g_inTypeDef = FALSE;