scratch of (de)serializing

[satune.git] / src / AST / astops.h

diff --git a/src/AST/astops.h b/src/AST/astops.h
index cd2beaabd2b056125838b653b78a57f6d5526700..b92c0e4d06ea0ac64adcc98f6b06764584328531 100644 (file)
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -7,7 +7,7 @@ typedef enum FunctionType FunctionType;
 enum PredicateType {TABLEPRED, OPERATORPRED};
 typedef enum PredicateType PredicateType;
 
-enum ASTNodeType {ORDERCONST, BOOLEANVAR, LOGICOP, PREDICATEOP, BOOLCONST, ELEMSET, ELEMFUNCRETURN, ELEMCONST};
+enum ASTNodeType {ORDERCONST, BOOLEANVAR, LOGICOP, PREDICATEOP, BOOLCONST, ELEMSET, ELEMFUNCRETURN, ELEMCONST, BOOLEANEDGE};
 typedef enum ASTNodeType ASTNodeType;
 
 enum Polarity {P_UNDEFINED=0, P_TRUE=1, P_FALSE=2, P_BOTHTRUEFALSE=3};