X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=7a703abab8cc7e229f7218c85add8580c7f3ad53;hb=a330e8dbc94f534876cc35b1d9d1b1c06d83a437;hp=10a335cb3ef82e2428a802d449e9bf75d61b0268;hpb=8c2497e84d1d0884a27e1cf1ec673aaaefdce49d;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index 10a335c..7a703ab 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -73,8 +73,8 @@ void Scheduler::wake(Thread *t)
 }
 
 /**
- * Remove one Thread from the scheduler. This implementation defaults to FIFO,
- * if a thread is not already provided.
+ * Select a Thread. This implementation defaults to round-robin, if a
+ * thread is not already provided.
  *
  * @param t Thread to run, if chosen by an external entity (e.g.,
  * ModelChecker). May be NULL to indicate no external choice.