X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=funcnode.h;h=730a7b7cc22a50767d1df5d4563b90d84ec46973;hb=6b105d0bea24fa7a534d7f83e4c34dadc9d4b02d;hp=4ba239856df8e468a7bf4f6b7518a7a95381bed7;hpb=9a2ba97d13c76e9048ba7c499b3cbca0d02a84ca;p=c11tester.git

diff --git a/funcnode.h b/funcnode.h
index 4ba23985..730a7b7c 100644
--- a/funcnode.h
+++ b/funcnode.h
@@ -37,6 +37,7 @@ public:
 
 	/* TODO: generate EQUALITY or NULLITY predicate based on write_history in history.cc */
 	void update_predicate_tree(action_list_t * act_list);
+	void deep_update(Predicate * pred);
 	bool follow_branch(Predicate ** curr_pred, FuncInst * next_inst, ModelAction * next_act, HashTable<void *, ModelAction *, uintptr_t, 0>* loc_act_map);
 	void print_predicate_tree();