scheduler: kill 'replaceable' scheduler

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 0dae851abe0325fb058759c9d1d44b53cc612cf8..abb3e4b3975f34c3cbaf876ead0af680699864d9 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -3,13 +3,13 @@
 #include "common.h"
 #include "model.h"
 
-void DefaultScheduler::add_thread(struct thread *t)
+void Scheduler::add_thread(struct thread *t)
 {
        DEBUG("thread %d\n", t->id);
        queue.push(t);
 }
 
-struct thread *DefaultScheduler::next_thread(void)
+struct thread *Scheduler::next_thread(void)
 {
        if (queue.empty())
                return NULL;
@@ -20,7 +20,7 @@ struct thread *DefaultScheduler::next_thread(void)
        return current;
 }
 
-struct thread *DefaultScheduler::get_current_thread(void)
+struct thread *Scheduler::get_current_thread(void)
 {
        return current;
 }