X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f4e355aa2115adccf39ccac6293a944beb616bd5..6ee276d286314ab6807ce1af746bbd88c186fddc:/src/Headers/basic.h

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 5fd921a..1d14404 100644
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -22,11 +22,15 @@
 # include <stdlib.h>
 # include <stdio.h>
 
-# ifndef WIN32
+# 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>