Fixed problem with NULL being changed.

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

diff --git a/src/Headers/constants.h b/src/Headers/constants.h
index 2a9add215e1e2c2fb4c4cc24545c4c696ea231fb..90dd9a356483705100a84d5f852d7084493d4db4 100644 (file)
--- a/src/Headers/constants.h
+++ b/src/Headers/constants.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -96,8 +96,13 @@
 /*@constant observer char *PPMRCODE; @*/
 # define PPMRCODE "@@MR@@"  
 
+# ifdef OS2
+/*@constant observer char *DEFAULT_SYSTEMDIR; @*/
+# define DEFAULT_SYSTEMDIR "/os2/"
+# else                            
 /*@constant observer char *DEFAULT_SYSTEMDIR; @*/
 # define DEFAULT_SYSTEMDIR "/usr/"
+# endif
 
 /*@constant char DEFAULT_COMMENTCHAR; @*/
 # define DEFAULT_COMMENTCHAR '@'
@@ -198,11 +203,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"