From: Brian Norris <banorris@uci.edu>
Date: Wed, 20 Feb 2013 23:03:24 +0000 (-0800)
Subject: include: fixup header inclusion
X-Git-Tag: oopsla2013~240
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=beedbb56b50163e4fbf2cbc44785ebd962d1692d

include: fixup header inclusion
---

diff --git a/include/cmodelint.h b/include/cmodelint.h
index 232648c..24c5f6f 100644
--- a/include/cmodelint.h
+++ b/include/cmodelint.h
@@ -5,6 +5,7 @@
 #ifndef CMODELINT_H
 #define CMODELINT_H
 #include <inttypes.h>
+#include "memoryorder.h"
 
 #if __cplusplus
 using std::memory_order;
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 )
diff --git a/include/memoryorder.h b/include/memoryorder.h
index 8c4c2a0..ba0dafd 100644
--- a/include/memoryorder.h
+++ b/include/memoryorder.h
@@ -10,7 +10,6 @@
 namespace std {
 #else
 #include <stddef.h>
-#include <stdbool.h>
 #endif