model: debug print - pending release sequences

[c11tester.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 10a335cb3ef82e2428a802d449e9bf75d61b0268..7a703abab8cc7e229f7218c85add8580c7f3ad53 100644 (file)
--- 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.