nodestack: register ModelExecution class w/in NodeStack

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 66418a4abb630a5b234b035342f4179435c52363..33c862bac36fd2a7e788cfae00a1a46a774ecd4a 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -82,6 +82,7 @@ ModelExecution::ModelExecution(ModelChecker *m,
        model_thread = new Thread(get_next_id());
        add_thread(model_thread);
        scheduler->register_engine(this);
+       node_stack->register_engine(this);
 }
 
 /** @brief Destructor */