From: Brian Norris <banorris@uci.edu>
Date: Tue, 26 Feb 2013 00:23:05 +0000 (-0800)
Subject: schedule: remove commented-out code
X-Git-Tag: oopsla2013~219
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=2e5131c376bfa003e1254a92a298dae2d2abc027

schedule: remove commented-out code
---

diff --git a/schedule.cc b/schedule.cc
index 1bd1b0f..44def6d 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -219,8 +219,6 @@ void Scheduler::set_current_thread(Thread *t)
 {
 	ASSERT(t && !t->is_model_thread());
 
-	//curr_thread_index = id_to_int(t->get_id());
-
 	current = t;
 	if (DBG_ENABLED())
 		print();