Making fixes for Microsoft Visual C++ compiler.

[splint.git] / src / Headers / basic.h

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index d6ba7ffdcbe5c7fa29472288b4586e6457e86211..5fd921a1cad34acb1e832108f64761418f357f93 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -21,7 +21,12 @@
 
 # include <stdlib.h>
 # include <stdio.h>
+
+# ifndef WIN32
+/* Microsoft VC++ still doesn't support ISO C99... */
 # include <stdbool.h>
+# endif
+
 # include <string.h>
 # include <ctype.h>
 # include <float.h>