small changes

[c11tester.git] / concretepredicate.h

diff --git a/concretepredicate.h b/concretepredicate.h
index f0eaeea905db2ca421aaa71cc8edb143f0a97710..1440763aad539c70af3f48371a0e82f5593663cf 100644 (file)
--- a/concretepredicate.h
+++ b/concretepredicate.h
@@ -9,7 +9,7 @@
 class ConcretePredicate {
 public:
        ConcretePredicate(thread_id_t tid);
 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; }
 
        void add_expression(token_t token, uint64_t value, bool equality);
        SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }


@@ -24,4 +24,4 @@ private:
        SnapVector<struct concrete_pred_expr> expressions;
 };
 
        SnapVector<struct concrete_pred_expr> expressions;
 };
 

-#endif /* __CONCRETE_PREDICATE_H */
+#endif /* __CONCRETE_PREDICATE_H */