From 6ea1bf50d878beff9f7d7203156b5715c452f492 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 10 Apr 2012 15:51:33 -0700
Subject: [PATCH] libthreads: print out trace at end of execution

---
 libthreads.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libthreads.cc b/libthreads.cc
index a8ce0fa..f5cbb9f 100644
--- a/libthreads.cc
+++ b/libthreads.cc
@@ -178,6 +178,7 @@ int main()
 	/* Wait for all threads to complete */
 	thread_wait_finish();
 
+	model->print_trace();
 	delete model;
 	myFree(main_thread);
 
-- 
2.34.1