model: add 'const'

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 655c511db1b4fa1f282f6d8a770e29490f27d1d5..7c9b4c07296bf05e57280c4eb4f33198f62dbe38 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -545,7 +545,7 @@ bool ModelChecker::next_execution()
        return true;
 }
 
-ModelAction * ModelChecker::get_last_conflict(ModelAction *act)
+ModelAction * ModelChecker::get_last_conflict(ModelAction *act) const
 {
        switch (act->get_type()) {
        case ATOMIC_FENCE:
@@ -2807,5 +2807,6 @@ void ModelChecker::run()
                };
        } while (next_execution());
 
+       model_print("******* Model-checking complete: *******\n");
        print_stats();
 }