Updated html and word versions of the manual

[splint.git] / src / flex.head

diff --git a/src/flex.head b/src/flex.head
index 0dc336a0b8f5688710274595b18a6519bc4b4291..ba7ff4caa6e0534ccc485053243e5725fc91655d 100644 (file)
--- a/src/flex.head
+++ b/src/flex.head
@@ -52,11 +52,9 @@
 /*@-protoparammatch@*/
 /*@-casebreak@*/
 /*@-retvalother@*/
-
+/*@-exportheader@*/
 
 /*drl added 11/27/2001*/
-/*@-arraybounds@*/
-/*@-arrayboundsread@*/
 
 
 # ifdef __LCLINT__