remove a redundant member function that I added before

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 0a2e844d32e2136e582600f1858574c143f5bd53..ce598cfa58302841e5cfe4ea0c2c5e8c3f036a1c 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -363,7 +363,7 @@ bool ModelChecker::should_terminate_execution()
        /* Infeasible -> don't take any more steps */
        if (execution->is_infeasible())
                return true;
-       else if (execution->isfeasibleprefix() && execution->have_fatal_bug_reports()) {
+       else if (execution->isfeasibleprefix() && execution->have_bug_reports()) {
                execution->set_assert();
                return true;
        } else if (execution->isFinished()) {