nodestack: compute parent ModelAction externally

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 86d28ec0bfc4119b16f0c5c0eba62c34d05ea3d5..42f412f421e389267d58d1ce6fba9c6d9fb44cf2 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -209,7 +209,7 @@ void ModelChecker::check_current_action(void)
                return;
        }
 
-       curr = node_stack->explore_action(curr);
+       curr = node_stack->explore_action(curr, NULL);
        nextThread = get_next_replay_thread();
 
        currnode = curr->get_node();