X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=828502686d0194e642e8b2335c910c33f86ff049;hb=bf80445c97bd34afcfd208cc3ecb31edcd631bb6;hp=fe9175b2fb336965e3aa23f867432fabee1441d3;hpb=a6ce579c6437ebead8fee2c8df1530d223591318;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index fe9175b..8285026 100644
--- a/execution.cc
+++ b/execution.cc
@@ -82,6 +82,7 @@ ModelExecution::ModelExecution(struct model_params *params, Scheduler *scheduler
 	/* Initialize a model-checker thread, for special ModelActions */
 	model_thread = new Thread(get_next_id());
 	thread_map->put(id_to_int(model_thread->get_id()), model_thread);
+	scheduler->register_engine(this);
 }
 
 /** @brief Destructor */