ADded numabstract types.

[splint.git] / src / flags.c

diff --git a/src/flags.c b/src/flags.c
index 118f52199adbfde6fd6d7a429c1749e4cfb16ac1..a06749021445577b195c82e5dc9e86b1761c0cf5 100644 (file)
--- a/src/flags.c
+++ b/src/flags.c
@@ -149,6 +149,10 @@ static /*@observer@*/ cstring argcode_unparse (argcode arg)
 # endif
 }      
 
+# ifdef WIN32
+# pragma warning (enable:4715) 
+# endif
+
 typedef struct { 
   flagkind main;
   flagkind sub;