Bug fix

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index b98e7505a4bc21664384c930392b7b1a9b2b2c47..08f51b41752a8eced66f210b4a0c5477f82ff753 100644 (file)
--- a/model.h
+++ b/model.h
@@ -94,6 +94,7 @@ private:
        Thread * chosen_thread;
 
        bool thread_chosen;
+       bool break_execution;
 
        modelclock_t checkfree;