X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=700f25c017b1d44aa310eee2f4518c7e051abf1c;hb=21f8ca7067d5d6810ea819a183ea50f863c17752;hp=da68074240d9ea2b416b40665ef7843d2c7df7ae;hpb=7a0167d52294a9707f81a54d74009c6f82346d18;p=model-checker.git

diff --git a/model.cc b/model.cc
index da68074..700f25c 100644
--- a/model.cc
+++ b/model.cc
@@ -1000,7 +1000,7 @@ bool ModelChecker::initialize_curr_action(ModelAction **curr)
 
 	(*curr)->set_seq_number(get_next_seq_num());
 
-	newcurr = node_stack->explore_action(*curr, scheduler->get_enabled());
+	newcurr = node_stack->explore_action(*curr, scheduler->get_enabled_array());
 	if (newcurr) {
 		/* First restore type and order in case of RMW operation */
 		if ((*curr)->is_rmwr())