X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=predicate.cc;h=128ac3dc4155ddcec0a8cbda9143b9d0e4fa5089;hp=77f362dafd9c4f8ea29e465a3c01f5f99ea9172c;hb=6b105d0bea24fa7a534d7f83e4c34dadc9d4b02d;hpb=9a2ba97d13c76e9048ba7c499b3cbca0d02a84ca

diff --git a/predicate.cc b/predicate.cc
index 77f362da..128ac3dc 100644
--- a/predicate.cc
+++ b/predicate.cc
@@ -5,7 +5,7 @@ Predicate::Predicate(FuncInst * func_inst, bool is_entry) :
 	entry_predicate(is_entry),
 	pred_expressions(),
 	children(),
-	parents(),
+	parent(NULL),
 	backedge(NULL)
 {}
 
@@ -37,12 +37,6 @@ void Predicate::add_child(Predicate * child)
 	children.push_back(child);
 }
 
-void Predicate::add_parent(Predicate * parent)
-{
-	/* check duplication? */
-	parents.push_back(parent);
-}
-
 void Predicate::print_predicate()
 {
 	model_print("\"%p\" [shape=box, label=\"\n", this);