Fixed anytype resolution.

[splint.git] / src / flex.head

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