X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.cc;h=df5fc633ac37aba0b6df464f51be996ab8403eb6;hb=9397658596cfa29f81242b5f06e80d1d9cdf6d14;hp=2eba02cf20c9739e85227c77ac7510fb4cdd4427;hpb=8da693d1a0d03aeba127f434c84fcb372314b93a;p=model-checker.git

diff --git a/nodestack.cc b/nodestack.cc
index 2eba02c..df5fc63 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -117,7 +117,7 @@ void NodeStack::print()
 	printf("............................................\n");
 }
 
-ModelAction * NodeStack::explore_action(ModelAction *act, ModelAction *parent)
+ModelAction * NodeStack::explore_action(ModelAction *act)
 {
 	DBG();
 
@@ -135,7 +135,6 @@ ModelAction * NodeStack::explore_action(ModelAction *act, ModelAction *parent)
 
 		/* Record action */
 		get_head()->explore_child(act);
-		act->create_cv(parent);
 		node_list.push_back(new Node(act, model->get_num_threads()));
 		iter++;
 	}