*** empty log message ***

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

diff --git a/src/cgrammar.c.der b/src/cgrammar.c.der
index 929defc028573e35517c34c996d47144cda382c2..061da3af1168fa0d90608870ee3f4004e7cffccf 100644 (file)
--- a/src/cgrammar.c.der
+++ b/src/cgrammar.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.  */
@@ -7881,3 +7883,5 @@ void yyerror (/*@unused@*/ char *s)
 
 /*drl added 12/11/2002*/
 /*@=type@*/
+
+/*@=enummemuse@*/