X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fimpatomic.h;h=60e5d365efffc7bc365ef197be47275d31c23ae8;hb=dc9c89654982c64264dfee7b1ea23e9a5e88e18e;hp=ed3afa71fa048e2808d8715fb6759408361f89d6;hpb=e29598a20c8e54560eae0e28ef904bf404ede23a;p=model-checker.git

diff --git a/include/impatomic.h b/include/impatomic.h
index ed3afa7..60e5d36 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -14,6 +14,8 @@
 
 #ifdef __cplusplus
 namespace std {
+#else
+#include <stdbool.h>
 #endif
 
 #define CPP0X( feature )