X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d767066b40ee6d1187273de11f2f942f8a10e1e7..0bd4c301f40f5da75d0ccdc14d1aa1c40c297305:/src/Headers/constants.h

diff --git a/src/Headers/constants.h b/src/Headers/constants.h
index 539e9a7..9c0ef2a 100644
--- a/src/Headers/constants.h
+++ b/src/Headers/constants.h
@@ -198,11 +198,11 @@
 # define PFX_ANYLETTERDIGIT '/'
          
 /*
-** Note: this name is wired into ansi.h!
+** _Bool is defined by ISO C99 (replaced old lltx_Bool)
 */
 
 /*@constant observer char *DEFAULT_BOOLTYPE;@*/
-# define DEFAULT_BOOLTYPE "lltX_bool"
+# define DEFAULT_BOOLTYPE "_Bool"
 
 /*@constant observer char *PRAGMA_EXPAND; @*/
 # define PRAGMA_EXPAND "expand"