From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Mar 2012 22:10:31 +0000 (-0700)
Subject: libthreads: delete allocated object
X-Git-Tag: pldi2013~578
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=17a4c7bf783e2a20754abe1d22306e297d41e59a;p=model-checker.git

libthreads: delete allocated object
---

diff --git a/libthreads.c b/libthreads.c
index 2ffe958..5a4c3a1 100644
--- 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;
 }