model: make dumpGraph 'const'

SUPPORT_MOD_ORDER_DUMP can't compile if dumpGraph() isn't const.

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");

diff --git a/model.h b/model.h
index 76b2affb02db0a59d93c5efc8bde0973241af74d..8345678fab7f0724a2a4dd7f638470d84bb46483 100644 (file)
--- a/model.h
+++ b/model.h
@@ -101,7 +101,7 @@ public:
 
        void print_summary() const;
 #if SUPPORT_MOD_ORDER_DUMP
-       void dumpGraph(char *filename);
+       void dumpGraph(char *filename) const;
 #endif
 
        void add_thread(Thread *t);