X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=691cd72bbbbd5275473ddf0993f70138256a0f0b;hb=14653dd20b5fee25e5077ce6a154022fc9f85ce7;hp=199a8fc3505f7273a8cab4dedcbb64db693d96cf;hpb=d6aa3d792529d617999cf63ae68463c9c6be0fa1;p=model-checker.git

diff --git a/model.cc b/model.cc
index 199a8fc..691cd72 100644
--- a/model.cc
+++ b/model.cc
@@ -2287,7 +2287,8 @@ void ModelChecker::dumpGraph(char *filename) {
 }
 #endif
 
-void ModelChecker::print_summary()
+/** @brief Prints an execution trace summary. */
+void ModelChecker::print_summary() const
 {
 #if SUPPORT_MOD_ORDER_DUMP
 	scheduler->print();