X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/08cf86420d78ec43cc82ce0258cd86704afd80bd..a9ec328054b628447830161535f4915f715f49cd:/src/bison.reset

diff --git a/src/bison.reset b/src/bison.reset
index 45e00aa..5c0ab74 100644
--- a/src/bison.reset
+++ b/src/bison.reset
@@ -48,3 +48,5 @@
 
 /*drl added 12/11/2002*/
 /*@=type@*/
+
+/*@=enummemuse@*/