From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 01:42:22 +0000 (-0700)
Subject: schedule: bugfix - fix typo in wake
X-Git-Tag: pldi2013~74
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=a7f4b420cb8b12813d3feed76cf6af72b9803697

schedule: bugfix - fix typo in wake

The Thread should be re-enabled, not disabled, when waking up.
---

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);
 }