Updated html and word versions of the manual

[splint.git] / src / bison.head

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