libthreads: delete allocated object

[c11tester.git] / libthreads.c

diff --git a/libthreads.c b/libthreads.c
index 2ffe958ed193909cc2960fabcf28c9ee4d3eae4c..5a4c3a12f101f33252c042f7b5daf6c19d98cca4 100644 (file)
--- a/libthreads.c
+++ b/libthreads.c
@@ -166,6 +166,8 @@ int main()
        /* Wait for all threads to complete */
        thread_wait_finish();
 
+       delete model;
+
        DEBUG("Exiting\n");
        return 0;
 }