model: rename print_trace() -> print_summary(), fixup summary printing

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 7e23f59dcf902fd4693e9fea34e81439e7a518ef..456414d5b3200ec1ca8b7603834e78c761910b76 100644 (file)
--- 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;