fix mutex_trylock bug

[c11tester.git] / concretepredicate.cc

diff --git a/concretepredicate.cc b/concretepredicate.cc
index 9633e6c7aded1c991bad063749eb1e18d1225ecc..79643beeb2902f6d15f9ce2b66854f5174d29b5f 100644 (file)
--- a/concretepredicate.cc
+++ b/concretepredicate.cc
@@ -5,11 +5,6 @@ ConcretePredicate::ConcretePredicate(thread_id_t 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));