Change the return type of Predicate::evaluate

[c11tester.git] / concretepredicate.cc

diff --git a/concretepredicate.cc b/concretepredicate.cc
index e3cbcac6f1922a692945d4c2dbb2f6dd8cf86509..9633e6c7aded1c991bad063749eb1e18d1225ecc 100644 (file)
--- a/concretepredicate.cc
+++ b/concretepredicate.cc
@@ -1,7 +1,7 @@
 #include "concretepredicate.h"
 
-ConcretePredicate::ConcretePredicate(void * loc) :
-       location(loc),
+ConcretePredicate::ConcretePredicate(thread_id_t tid) :
+       tid(tid),
        expressions()
 {}