Remove unused code

[c11tester.git] / funcnode.cc

diff --git a/funcnode.cc b/funcnode.cc
index e5279bd1fd72598642be43265d4fe039cbd744ba..c1b277e8f26f2a57936a88fbe37e6f7a954104d0 100644 (file)
--- 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 *>();