From badfcf21c3b782bee736e936132e3c6873859053 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 25 May 2012 19:16:06 -0700 Subject: [PATCH] nodestack: create ModelAction clock vectors Only create the clock vector if the ModelAction will be retained in our nodestack, and hence will be used for synchronization, etc. --- nodestack.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/nodestack.cc b/nodestack.cc index 379fb3b1..4cbd7cea 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -139,6 +139,7 @@ ModelAction * NodeStack::explore_action(ModelAction *act) /* Record action */ get_head()->explore_child(act); + act->create_cv(get_head()->get_action()); node_list.push_back(new Node(act, get_head())); iter++; } -- 2.34.1