X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fcmodelint.h;h=24c5f6fb67353b97d24351ef9e8f32c08e437155;hb=beedbb56b50163e4fbf2cbc44785ebd962d1692d;hp=232648cd588ef8c4c69a752b3899d5a1572b510e;hpb=e7c0c2dc248559b307122db7923df35f7c6d957e;p=model-checker.git

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;