X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=libthreads.cc;h=f5cbb9fe46958cde1772f2580b1d924239dd8d07;hb=6ea1bf50d878beff9f7d7203156b5715c452f492;hp=a8ce0faee1ef59a94191858d0e3f57baea41e43b;hpb=675b681e98fa5dbfea23c1da5cead2370d8a27e2;p=model-checker.git

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);