X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e55089695dc9e2f58ba61d1ad208364c9224ae80..b87215ab641c38a5509a608751384ebb9f4f8bf9:/src/flex.head

diff --git a/src/flex.head b/src/flex.head
index 0dc336a..c73de11 100644
--- a/src/flex.head
+++ b/src/flex.head
@@ -53,10 +53,7 @@
 /*@-casebreak@*/
 /*@-retvalother@*/
 
-
 /*drl added 11/27/2001*/
-/*@-arraybounds@*/
-/*@-arrayboundsread@*/
 
 
 # ifdef __LCLINT__