X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=00e5c2fbd4a0f1287ac6b68b8be50a1a49b82bd8;hb=039df16782babb6f960c65795413f85f533667ac;hp=f417b3ff353fa3a59a23328c44dfb6b908f4727c;hpb=0a650d68e478aff11bf8b72ee04ed7cc6a102ce8;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index f417b3f..00e5c2f 100644
--- a/threads.cc
+++ b/threads.cc
@@ -180,7 +180,6 @@ Thread::~Thread()
 {
 	if (!is_complete())
 		complete();
-	model->remove_thread(this);
 }
 
 /** @return The thread_id_t corresponding to this Thread object. */