From 5af7bf9e51795daa1b4dede1e27e4862170535f4 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Feb 2013 19:31:57 -0800
Subject: [PATCH] model: don't print scheduler randomly

---
 model.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/model.cc b/model.cc
index c9b8460c..e39266d4 100644
--- 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);
-- 
2.34.1