X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/fc97bef41c5cbd252e79ba8f5f763120f728d1d5..35b9a1d988c06908076e3a6eeae55b1147879607:/src/flex.head

diff --git a/src/flex.head b/src/flex.head
index c73de11..ba7ff4c 100644
--- a/src/flex.head
+++ b/src/flex.head
@@ -52,6 +52,7 @@
 /*@-protoparammatch@*/
 /*@-casebreak@*/
 /*@-retvalother@*/
+/*@-exportheader@*/
 
 /*drl added 11/27/2001*/