Removed obsolete OS/2 test makefiles.

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 1578c3f0d8347cc5efe16ae244664594a13d4f40..1d144042d3388ef1c7bcfbb956358ed34aeea3e2 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -21,6 +21,16 @@
 
 # include <stdlib.h>
 # include <stdio.h>
+
+# if !defined (WIN32) &&  !(defined (OS2) && defined (__IBMC__))
+/* Microsoft VC++ still doesn't support ISO C99... */
+# include <stdbool.h>
+# endif
+
+#if defined (OS2) && defined (__IBMC__)
+extern int snprintf (char *str, size_t count, const char *fmt, ...);
+#endif
+
 # include <string.h>
 # include <ctype.h>
 # include <float.h>
@@ -68,6 +78,8 @@
 # include "varKinds.h"
 # include "sRefSet.h"
 # include "ekind.h"
+# include "usymId.h"
+# include "typeId.h"
 # include "usymIdSet.h"
 # include "sRefList.h"
 # include "uentryList.h"
@@ -109,9 +121,9 @@
 # include "mtincludes.h"
 # include "functionConstraint.h"
 # include "fileIdList.h"
-
 # include "context.h"
 # include "constants.h"
+# include "llglobals.h"
 
 # else
 # error "Multiple include"