remove unused member functions

[c11tester.git] / predicate.h

diff --git a/predicate.h b/predicate.h
index 732e39abd8b7644d5f5d9d37df1e9a133594b06e..e901d91fe3d71c357a83be46b8a098d8123f69e3 100644 (file)
--- a/predicate.h
+++ b/predicate.h
@@ -31,6 +31,19 @@ struct pred_expr {
        MEMALLOC
 };
 
+/* Used by predicate generator */
+struct half_pred_expr {
+       half_pred_expr(token_t token, FuncInst * inst) :
+               token(token),
+               func_inst(inst)
+       {}
+
+       token_t token;
+       FuncInst * func_inst;
+
+       SNAPSHOTALLOC
+};
+
 
 class Predicate {
 public: