X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/112c85fd5ba63bbf83526cdadfc7751b2cf74311..4caf866b3d452c738cb276e805e48e4f1ccd2eba:/src/flags.c

diff --git a/src/flags.c b/src/flags.c
index e8b3ceb..b9874fe 100644
--- a/src/flags.c
+++ b/src/flags.c
@@ -31,6 +31,7 @@
 # include "portab.h"
 # include "rcfiles.h"
 # include "lslinit.h"
+# include "llmain.h"
 
 /*
 ** from the CC man page:
@@ -145,12 +146,12 @@ static /*@observer@*/ cstring argcode_unparse (argcode arg)
     }
 # ifdef WIN32
 /* Make Microsoft VC++ happy */
-# pragma warning (disable:4715) 
+# pragma warning (disable:4715)
 # endif
 }      
 
 # ifdef WIN32
-# pragma warning (enable:4715) 
+/* # pragma warning (enable:4715)  */
 # endif
 
 typedef struct {