model: make dumpGraph 'const'

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 717f4a8ca218bf674a22de26115039d09a158679..21cfb2d541603071afd71a432455abe1b9fad3ec 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2563,7 +2563,8 @@ static void print_list(action_list_t *list, int exec_num = -1)
 }
 
 #if SUPPORT_MOD_ORDER_DUMP
-void ModelChecker::dumpGraph(char *filename) {
+void ModelChecker::dumpGraph(char *filename) const
+{
        char buffer[200];
        sprintf(buffer, "%s.dot",filename);
        FILE *file = fopen(buffer, "w");