action: add const qualifier

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 9f95727c8dcb63b27dfffc9782ab376a644d852b..6627714e1089b2ad16c85cc7ef4abe43d77b6f95 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -144,7 +144,7 @@ bool ModelAction::happens_before(ModelAction *act)
        return act->cv->synchronized_since(this);
 }
 
-void ModelAction::print(void)
+void ModelAction::print(void) const
 {
        const char *type_str;
        switch (this->type) {