Added llgrammar_gen2.h

[splint.git] / src / bison.head

diff --git a/src/bison.head b/src/bison.head
index 8b63a0c704ea0324af835af0bb450397f8069d66..99a26cb68ac31d2f8125b518b85297cabb4be2a8 100644 (file)
--- a/src/bison.head
+++ b/src/bison.head
@@ -47,7 +47,6 @@
 /*@-declundef@*/
 
 /*drl added 11/27/2001*/
-/*@-arraybounds@*/
-/*@-arrayboundsread@*/
+/*@-bounds@*/
 /* < end of bison.head > */