remove unused code

[c11tester.git] / concretepredicate.cc

diff --git a/concretepredicate.cc b/concretepredicate.cc
deleted file mode 100644 (file)
index 79643be..0000000
--- a/concretepredicate.cc
+++ /dev/null
@@ -1,11 +0,0 @@
-#include "concretepredicate.h"
-
-ConcretePredicate::ConcretePredicate(thread_id_t tid) :
-       tid(tid),
-       expressions()
-{}
-
-void ConcretePredicate::add_expression(token_t token, uint64_t value, bool equality)
-{
-       expressions.push_back(concrete_pred_expr(token, value, equality));
-}