X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/982cc10b478eb048460a85910953ce6083456bab..bb7c2085a0088f4a6b3fb68dcd0ce331f67e9a2d:/src/bison.reset

diff --git a/src/bison.reset b/src/bison.reset
index 005af2e..78aad01 100644
--- a/src/bison.reset
+++ b/src/bison.reset
@@ -44,5 +44,4 @@
 
 
 /*drl added 11/27/2001*/
-/*@=arraybounds@*/
-/*@=arrayboundsread@*/
+/*@=bounds@*/