X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=concretepredicate.h;h=1440763aad539c70af3f48371a0e82f5593663cf;hp=f0eaeea905db2ca421aaa71cc8edb143f0a97710;hb=251ac4b4bf3a9f2d3cfacc1e6618200ca1c431ac;hpb=51ee3f71895aafae7e7292174862b3ad42c801a6;ds=inline

diff --git a/concretepredicate.h b/concretepredicate.h
index f0eaeea9..1440763a 100644
--- a/concretepredicate.h
+++ b/concretepredicate.h
@@ -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; }
@@ -24,4 +24,4 @@ private:
 	SnapVector<struct concrete_pred_expr> expressions;
 };
 
-#endif /* __CONCRETE_PREDICATE_H */
+#endif	/* __CONCRETE_PREDICATE_H */