X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=e962b92da41bb57193fc1bbcbf0b386514a35ec2;hb=960e943616c59281fc10cd274ca04300d66c6391;hp=66418a4abb630a5b234b035342f4179435c52363;hpb=c5703c61b49d29d3f56fdcb06847f2aa811eeb4e;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index 66418a4..e962b92 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 */
@@ -1208,7 +1209,7 @@ bool ModelExecution::check_action_enabled(ModelAction *curr) {
  *
  * @param curr The current action to process
  * @return The ModelAction that is actually executed; may be different than
- * curr; may be NULL, if the current action is not enabled to run
+ * curr
  */
 ModelAction * ModelExecution::check_current_action(ModelAction *curr)
 {