scheduler: kill 'replaceable' scheduler

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 62b2925dc0e4f46ba79df049500363c4f29d9fdc..d929c48b0948c95ff6652fbe0c7baf9c256aae4f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -11,7 +11,7 @@ ModelChecker::ModelChecker()
        /* First thread created (system_thread) will have id 1 */
        this->used_thread_id = 0;
        /* Initialize default scheduler */
-       this->scheduler = new DefaultScheduler();
+       this->scheduler = new Scheduler();
 
        this->current_action = NULL;
 }