*** empty log message ***

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

diff --git a/src/llgrammar.c.der b/src/llgrammar.c.der
index 8bd351114c1abb8b1024684164b56028ef093a33..409ba914ae41e1114024c67771a9840be1043472 100644 (file)
--- a/src/llgrammar.c.der
+++ b/src/llgrammar.c.der
@@ -52,6 +52,8 @@
 /*drl added 12/11/2002*/
 /*@-type@*/
 
+/*@-enummemuse@*/
+
 /* < end of bison.head > */
 
 /* A Bison parser, made by GNU Bison 2.3.  */
@@ -5177,3 +5179,5 @@ static void yyprint (FILE *f, int t, YYSTYPE value)
 
 /*drl added 12/11/2002*/
 /*@=type@*/
+
+/*@=enummemuse@*/