X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;h=d929c48b0948c95ff6652fbe0c7baf9c256aae4f;hp=62b2925dc0e4f46ba79df049500363c4f29d9fdc;hb=3e3ba08b7f8483430946ac7db0cc3bdbaa6f8a90;hpb=6ea1bf50d878beff9f7d7203156b5715c452f492

diff --git a/model.cc b/model.cc
index 62b2925..d929c48 100644
--- 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;
 }