X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=src%2FAST%2Fpredicate.h;h=513e3869d5000681826a0e90e0d2fdef951e2d4f;hb=15207e1ea262b3cbd01e857db7532a131274edce;hp=78cf2f68ddf1daa99c0b147a29df15c4490d6e9e;hpb=c0be5e75ecdf7d03e931d73701c2d507c2a6f9b3;p=satune.git

diff --git a/src/AST/predicate.h b/src/AST/predicate.h
index 78cf2f6..513e386 100644
--- a/src/AST/predicate.h
+++ b/src/AST/predicate.h
@@ -10,11 +10,6 @@ struct Predicate {
 	VectorSet* domains;
 };
 
-struct TablePredicate{
-    CompOp op;
-    Table* table;
-};
-
 
 Predicate* allocPredicate(CompOp op, Set ** domain, uint numDomain);
 void deletePredicate(Predicate* predicate);