Remove unimplemented enum

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

diff --git a/src/AST/astops.h b/src/AST/astops.h
index e3c59630b92cc6ab150b70be4efecc197272c24f..8ddbdd11dff336c4df174bea0422ab0c479e431f 100644 (file)
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -17,7 +17,7 @@ enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3
 typedef enum BooleanValue BooleanValue;
 
 enum ElementEncodingType {
-       ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, ONEHOTBINARY, BINARYVAL
+       ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, BINARYVAL
 };
 
 typedef enum ElementEncodingType ElementEncodingType;