From 454023967726d69dac45735ec83de960078dbe02 Mon Sep 17 00:00:00 2001
From: weiyu <weiyuluo1232@gmail.com>
Date: Mon, 30 Sep 2019 19:29:29 -0700
Subject: [PATCH] Free memory

---
 funcnode.cc  | 1 +
 predicate.cc | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/funcnode.cc b/funcnode.cc
index af268aad..18c18997 100644
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -365,6 +365,7 @@ bool FuncNode::follow_branch(Predicate ** curr_pred, FuncInst * next_inst, Model
 					break;
 			}
 		}
+		delete concrete_pred;
 
 		if (predicate_correct) {
 			*curr_pred = branch;
diff --git a/predicate.cc b/predicate.cc
index fd9e78fa..9e2f1621 100644
--- a/predicate.cc
+++ b/predicate.cc
@@ -93,7 +93,6 @@ ConcretePredicate * Predicate::evaluate(inst_act_map_t * inst_act_map, thread_id
 	return concrete;
 }
 
-
 void Predicate::print_predicate()
 {
 	model_print("\"%p\" [shape=box, label=\"\n", this);
-- 
2.34.1