libthreads: print out trace at end of execution

diff --git a/libthreads.cc b/libthreads.cc
index a8ce0faee1ef59a94191858d0e3f57baea41e43b..f5cbb9fe46958cde1772f2580b1d924239dd8d07 100644 (file)
--- 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);