action: add <stdlib>

[cdsspec-compiler.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index fe9175b2fb336965e3aa23f867432fabee1441d3..828502686d0194e642e8b2335c910c33f86ff049 100644 (file)
--- 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 */