X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=ec49a7448de6f34b1fa5acb38aaed83fd55dcfb7;hb=a7f4b420cb8b12813d3feed76cf6af72b9803697;hp=ea1d58208ea2b692ed19596c2929a73b254fc998;hpb=b59d5f84ac4800cc144fc7c8837d96181423d9ae;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index ea1d582..ec49a74 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -115,7 +115,7 @@ void Scheduler::sleep(Thread *t)
 void Scheduler::wake(Thread *t)
 {
 	ASSERT(!t->is_model_thread());
-	set_enabled(t, THREAD_DISABLED);
+	set_enabled(t, THREAD_ENABLED);
 	t->set_state(THREAD_READY);
 }