Edits

[c11tester.git] / predicate.cc

diff --git a/predicate.cc b/predicate.cc
index 44f5e8d1844f55ec8e860a5118a6c780b5914d07..9b329f105cb9e9b8169a1c8b770ee857b11f5207 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();
 
@@ -131,6 +132,9 @@ ConcretePredicate * Predicate::evaluate(inst_act_map_t * inst_act_map, thread_id
 
        delete it;
        return concrete;
+       */
+
+       return NULL;
 }
 
 void Predicate::print_predicate()