*** empty log message ***

[splint.git] / src / bison.reset

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