Free memory

diff --git a/funcnode.cc b/funcnode.cc
index af268aad0d0cf95c3fbca6d8b32f134dc6f2af1a..18c18997e177da9b611d1d10323e87e602f16c73 100644 (file)
--- 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 fd9e78fa39cf158d42b0d92490718c767422f52c..9e2f16210f2779b2d9b289840115b90bf35cbc0f 100644 (file)
--- 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);