X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=744fec5e17a27ef75b07a2bca068ff344e951ee8;hb=f8bac60ca108ab3d7729c0254ff80819e6d8c121;hp=097da8ae9b7c66fae010db5c95d3a6245622f3cc;hpb=bad8cc4598438f8b8d9e8fa210e2790f92c9ec44;p=c11tester.git

diff --git a/model.cc b/model.cc
index 097da8ae..744fec5e 100644
--- a/model.cc
+++ b/model.cc
@@ -534,6 +534,8 @@ ModelAction * ModelChecker::initialize_curr_action(ModelAction *curr)
 		return newcurr;
 	}
 
+	curr->set_seq_number(get_next_seq_num());
+
 	newcurr = node_stack->explore_action(curr, scheduler->get_enabled());
 	if (newcurr) {
 		/* First restore type and order in case of RMW operation */