projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8799a47
)
schedule: remove commented-out code
author
Brian Norris
<banorris@uci.edu>
Tue, 26 Feb 2013 00:23:05 +0000
(16:23 -0800)
committer
Brian Norris
<banorris@uci.edu>
Tue, 26 Feb 2013 00:23:05 +0000
(16:23 -0800)
schedule.cc
patch
|
blob
|
history
diff --git
a/schedule.cc
b/schedule.cc
index 1bd1b0f983fef2a602fe6b089db723c4526adc4a..44def6d67583e1282605de06fbb72dfe4fc3ab6b 100644
(file)
--- 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();