X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=447c77d74e56c01781d415ee95bd0a1a7b76b74a;hp=bbad36e40ae727a93fe0e8e927aeb0ebe4b91da5;hb=14653dd20b5fee25e5077ce6a154022fc9f85ce7;hpb=d6aa3d792529d617999cf63ae68463c9c6be0fa1

diff --git a/model.h b/model.h
index bbad36e4..447c77d7 100644
--- 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