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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 8cc45a4..d6ba7ff 100644
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -21,6 +21,7 @@
 
 # include <stdlib.h>
 # include <stdio.h>
+# include <stdbool.h>
 # include <string.h>
 # include <ctype.h>
 # include <float.h>