Bug fix

[c11tester.git] / predicate.cc

diff --git a/predicate.cc b/predicate.cc
index 86bc30edf76651a813e09672f815f5c03d3946c2..9b329f105cb9e9b8169a1c8b770ee857b11f5207 100644 (file)
--- a/predicate.cc
+++ b/predicate.cc
@@ -131,8 +131,10 @@ ConcretePredicate * Predicate::evaluate(thread_id_t tid)
        }
 
        delete it;
-       */
        return concrete;
+       */
+
+       return NULL;
 }
 
 void Predicate::print_predicate()