More bug fixes

[c11tester.git] / concretepredicate.cc

diff --git a/concretepredicate.cc b/concretepredicate.cc
index e3cbcac6f1922a692945d4c2dbb2f6dd8cf86509..79643beeb2902f6d15f9ce2b66854f5174d29b5f 100644 (file)
--- a/concretepredicate.cc
+++ b/concretepredicate.cc
@@ -1,15 +1,10 @@
 #include "concretepredicate.h"
 
-ConcretePredicate::ConcretePredicate(void * loc) :
-       location(loc),
+ConcretePredicate::ConcretePredicate(thread_id_t tid) :
+       tid(tid),
        expressions()
 {}
 
-ConcretePredicate::~ConcretePredicate()
-{
-       expressions.clear();
-}
-
 void ConcretePredicate::add_expression(token_t token, uint64_t value, bool equality)
 {
        expressions.push_back(concrete_pred_expr(token, value, equality));