X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;h=c57ddeea13a28ce1ff1a1bad5a72a6ef9353830d;hp=3fb3758edac8e7a19c6575dfe8cb32d1cdaea416;hb=3f947091862fee454da7f8f2723d67733d581a7d;hpb=b8a6522deb073737e7f07fdf7561c2879fa48033

diff --git a/model.cc b/model.cc
index 3fb3758..c57ddee 100644
--- a/model.cc
+++ b/model.cc
@@ -367,7 +367,7 @@ ModelAction * ModelChecker::initialize_curr_action(ModelAction *curr)
 		return newcurr;
 	}
 
-	newcurr = node_stack->explore_action(curr);
+	newcurr = node_stack->explore_action(curr, scheduler->get_enabled());
 	if (newcurr) {
 		/* First restore type and order in case of RMW operation */
 		if (curr->is_rmwr())