X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=33c862bac36fd2a7e788cfae00a1a46a774ecd4a;hb=f9e2e3a893918a431d3af1e6657cd08260e31941;hp=66418a4abb630a5b234b035342f4179435c52363;hpb=6070a45c81428a5e09909d4beb325150aefd0c52;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index 66418a4..33c862b 100644
--- 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 */