X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=42f412f421e389267d58d1ce6fba9c6d9fb44cf2;hb=e725e347266a91be41447dba497f57f3b6d5413c;hp=86d28ec0bfc4119b16f0c5c0eba62c34d05ea3d5;hpb=73cd0247207fb071effa55b9f39e3db711412d96;p=model-checker.git

diff --git a/model.cc b/model.cc
index 86d28ec..42f412f 100644
--- 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();