Add default memory allocation and free functions for HSIterator and some other tiny...
[c11tester.git] / concretepredicate.h
index f0eaeea..c3b81bd 100644 (file)
@@ -9,7 +9,7 @@
 class ConcretePredicate {
 public:
        ConcretePredicate(thread_id_t tid);
-       ~ConcretePredicate();
+       ~ConcretePredicate() {}
 
        void add_expression(token_t token, uint64_t value, bool equality);
        SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }