more bug fixes

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 46c2454319d94b115381e41ad4248cd197732cef..595f6fa9d7d139af378584974d5fcc5e433fb0a0 100644 (file)
--- a/model.h
+++ b/model.h
@@ -104,6 +104,5 @@ private:
 };
 
 extern ModelChecker *model;
-extern ModelChecker *model_init;
-
+extern bool modelchecker_started;
 #endif /* __MODEL_H__ */