Add an exit node in predicate trees

[c11tester.git] / funcnode.h

diff --git a/funcnode.h b/funcnode.h
index 7e7635cae3af792249b9561c0157eb168385bb2d..0bcc73b58e2f59324e4d6aefd99d49816f6ff257 100644 (file)
--- a/funcnode.h
+++ b/funcnode.h
@@ -67,7 +67,9 @@ private:
        uint32_t func_id;
        const char * func_name;
        ModelHistory * history;
-       Predicate * predicate_tree_entry;       // a dummy node whose children are the real entries
+       Predicate * predicate_tree_entry;       // A dummy node whose children are the real entries
+       Predicate * predicate_tree_exit;        // A dummy node
+
 
        uint32_t exit_count;
        uint32_t marker;