X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=funcnode.cc;h=c1b277e8f26f2a57936a88fbe37e6f7a954104d0;hp=e5279bd1fd72598642be43265d4fe039cbd744ba;hb=a21f6b6439fd0f52ec5ab316bf6cd46992e94301;hpb=f56e8394743c617d46e71b6588764ee5eaf74caf

diff --git a/funcnode.cc b/funcnode.cc
index e5279bd1..c1b277e8 100644
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -21,6 +21,7 @@ FuncNode::FuncNode(ModelHistory * history) :
 	predicate_tree_entry = new Predicate(NULL, true);
 	predicate_tree_entry->add_predicate_expr(NOPREDICATE, NULL, true);
 	predicate_tree_exit = new Predicate(NULL, false, true);
+	predicate_tree_exit->set_depth(MAX_DEPTH);
 
 	/* Snapshot data structures below */
 	action_list_buffer = new SnapList<action_list_t *>();