X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/08cf86420d78ec43cc82ce0258cd86704afd80bd..a9ec328054b628447830161535f4915f715f49cd:/src/signature.c.der

diff --git a/src/signature.c.der b/src/signature.c.der
index aba1cb0..1c270a8 100644
--- a/src/signature.c.der
+++ b/src/signature.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.  */
@@ -2106,3 +2108,5 @@ extern void PrintToken (ltoken tok) {
 
 /*drl added 12/11/2002*/
 /*@=type@*/
+
+/*@=enummemuse@*/