model: don't print scheduler randomly

diff --git a/model.cc b/model.cc
index c9b8460c66daa62f56a4a533bdbad44b3f41c3ba..e39266d41218feecb14d4fde94701c22cd2040d3 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2647,7 +2647,6 @@ void ModelChecker::dumpGraph(char *filename) const
 void ModelChecker::print_summary() const
 {
 #if SUPPORT_MOD_ORDER_DUMP
-       scheduler->print();
        char buffername[100];
        sprintf(buffername, "exec%04u", stats.num_total);
        mo_graph->dumpGraphToFile(buffername);