Remove the uses of inst_act_maps

[c11tester.git] / predicate.cc

diff --git a/predicate.cc b/predicate.cc
index 44f5e8d1844f55ec8e860a5118a6c780b5914d07..86bc30edf76651a813e09672f815f5c03d3946c2 100644 (file)
--- a/predicate.cc
+++ b/predicate.cc
@@ -100,8 +100,9 @@ Predicate * Predicate::follow_write_child(FuncInst * inst)
 }
 
 /* Evaluate predicate expressions against the given inst_act_map */
-ConcretePredicate * Predicate::evaluate(inst_act_map_t * inst_act_map, thread_id_t tid)
+ConcretePredicate * Predicate::evaluate(thread_id_t tid)
 {
+       /*
        ConcretePredicate * concrete = new ConcretePredicate(tid);
        PredExprSetIter * it = pred_expressions.iterator();
 
@@ -130,6 +131,7 @@ ConcretePredicate * Predicate::evaluate(inst_act_map_t * inst_act_map, thread_id
        }
 
        delete it;
+       */
        return concrete;
 }