more bug fixes

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index c468d0deb3e8b6972673d3910670e99eff42052f..17ea5427d70bd19d8a0cd9856a9a997e077f3162 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -19,7 +19,7 @@
 #include "bugmessage.h"
 
 ModelChecker *model = NULL;
-ModelChecker *model_init = NULL;
+bool modelchecker_started = false;
 
 /** Wrapper to run the user's main function, with appropriate arguments */
 void user_main_wrapper(void *)