X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f9264521e093e570a8831d5238ccc3bc20e01119..517a2db3da924ba77ae313404da5e12fda798947:/src/Headers/forwardTypes.h

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index 3963638..36a417b 100644
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -1,8 +1,13 @@
 # ifndef FORWARDTYPES_H
 # define FORWARDTYPES_H
 
-# ifndef NOLCL
 # include "lclForwardTypes.h"
+
+# ifdef WIN32
+/* Microsoft doesn't support ISO C99 yet */
+/*@-namechecks@*/
+typedef int bool; 
+/*@=namechecks@*/
 # endif
 
 abst_typedef /*@null@*/ struct s_sRef *sRef;
@@ -79,11 +84,7 @@ abst_typedef /*@null@*/ ctypeList fileIdList;
 
 abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr;
 
-/*@-cppnames@*/
-typedef int bool;
-/*@=cppnames@*/
-
-abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
+abst_typedef /*@null@*/ char *cstring;
 typedef /*@only@*/ cstring o_cstring;
 
 abst_typedef /*@null@*/ struct s_cstringSList *cstringSList;