X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e55089695dc9e2f58ba61d1ad208364c9224ae80..a9ec328054b628447830161535f4915f715f49cd:/src/bison.reset?ds=sidebyside

diff --git a/src/bison.reset b/src/bison.reset
index 005af2e..5c0ab74 100644
--- a/src/bison.reset
+++ b/src/bison.reset
@@ -44,5 +44,9 @@
 
 
 /*drl added 11/27/2001*/
-/*@=arraybounds@*/
-/*@=arrayboundsread@*/
+/*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
+
+/*@=enummemuse@*/