Bug fix

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 4f8a03243161ec61aa25644159c9856ae01188f8..d1e94e5efa4f70c08486abf646b0ef46a3fae324 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -261,7 +261,7 @@ void ModelChecker::finish_execution(bool more_executions)
 // test code
        execution_number ++;
        if (more_executions)
-         reset_to_initial_state();
+               reset_to_initial_state();
        history->set_new_exec_flag();
 }