*** empty log message ***

[splint.git] / src / Headers / cgrammar_tokens.h

diff --git a/src/Headers/cgrammar_tokens.h b/src/Headers/cgrammar_tokens.h
index 65e6cf9fa3d1545cbb5bb9e17ad51742ee65a66d..4b838a37783e3b22ed524e103abebf726ad6c2f2 100644 (file)
--- a/src/Headers/cgrammar_tokens.h
+++ b/src/Headers/cgrammar_tokens.h
@@ -52,6 +52,8 @@
 /*drl added 12/11/2002*/
 /*@-type@*/
 
+/*@-enummemuse@*/
+
 /* < end of bison.head > */
 
 /* A Bison parser, made by GNU Bison 2.3.  */
@@ -602,3 +604,5 @@ extern cgrammar_YYSTYPE yylval;
 
 /*drl added 12/11/2002*/
 /*@=type@*/
+
+/*@=enummemuse@*/