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

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. */