model: add 'const'

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 0bccd833ff843e40fd700f8ea3f198b1a2f4e065..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: