model: print_summary() should be const

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index bbad36e40ae727a93fe0e8e927aeb0ebe4b91da5..447c77d74e56c01781d415ee95bd0a1a7b76b74a 100644 (file)
--- a/model.h
+++ b/model.h
@@ -87,8 +87,7 @@ public:
        /** @returns the context for the main model-checking system thread */
        ucontext_t * get_system_context() { return &system_context; }
 
-       /** Prints an execution summary with trace information. */
-       void print_summary();
+       void print_summary() const;
 #if SUPPORT_MOD_ORDER_DUMP
        void dumpGraph(char *filename);
 #endif