X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..312c981596ce6202de7686f2d4c46aec1bae3939:/src/flex.head

diff --git a/src/flex.head b/src/flex.head
index b40ce75..ba7ff4c 100644
--- a/src/flex.head
+++ b/src/flex.head
@@ -52,6 +52,10 @@
 /*@-protoparammatch@*/
 /*@-casebreak@*/
 /*@-retvalother@*/
+/*@-exportheader@*/
+
+/*drl added 11/27/2001*/
+
 
 # ifdef __LCLINT__
 /*@-redecl@*/ /*@-type@*/