X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fcmodelint.h;h=24c5f6fb67353b97d24351ef9e8f32c08e437155;hb=278ff43e5570a6cd8a42aa03070c5b59d079a999;hp=232648cd588ef8c4c69a752b3899d5a1572b510e;hpb=a4090d03cc1a5f5bca8f10986d74b76a9bb45371;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;