X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=456414d5b3200ec1ca8b7603834e78c761910b76;hb=6f2366a6076df350d1f7e0b562a61b3b99339b1f;hp=7e23f59dcf902fd4693e9fea34e81439e7a518ef;hpb=d4361e592c3a19d3a4ec24cea410118eac798b79;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 7e23f59..456414d 100644
--- a/threads.cc
+++ b/threads.cc
@@ -158,8 +158,6 @@ int main()
 
 		/* Wait for all threads to complete */
 		thread_wait_finish();
-
-		model->print_trace();
 	} while (model->next_execution());
 
 	delete th;