X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=4f87da3efdd6b630973901a0f40e09b6420f55af;hb=d48c1867f8e5b2a3f9695a6bc8f1b5394dcda8e7;hp=f50b0f9a60777557429c33ab7fc4b3236ef1cb6f;hpb=fe8423ca853f5d614e618fe49d37d0943d416809;p=model-checker.git

diff --git a/model.cc b/model.cc
index f50b0f9..4f87da3 100644
--- a/model.cc
+++ b/model.cc
@@ -205,6 +205,11 @@ int ModelChecker::add_thread(Thread *t)
 	return 0;
 }
 
+void ModelChecker::remove_thread(Thread *t)
+{
+	scheduler->remove_thread(t);
+}
+
 int ModelChecker::switch_to_master(ModelAction *act)
 {
 	Thread *old, *next;