redo model object initialization

[c11tester.git] / include / cmodelint.h

diff --git a/include/cmodelint.h b/include/cmodelint.h
index 8530827cfe39b5cf673efa3e047a8f987f7642a1..7bc6a253c9b5fedd61b7574558c647399f0207a3 100644 (file)
--- a/include/cmodelint.h
+++ b/include/cmodelint.h
@@ -10,8 +10,11 @@
 #if __cplusplus
 using std::memory_order;
 extern "C" {
 #if __cplusplus
 using std::memory_order;
 extern "C" {

+#else
+typedef int bool;

 #endif
 
 #endif
 

+  

 uint64_t model_read_action(void * obj, memory_order ord);
 void model_write_action(void * obj, memory_order ord, uint64_t val);
 void model_init_action(void * obj, uint64_t val);
 uint64_t model_read_action(void * obj, memory_order ord);
 void model_write_action(void * obj, memory_order ord, uint64_t val);
 void model_init_action(void * obj, uint64_t val);