X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Fastops.h;fp=src%2FAST%2Fastops.h;h=8ddbdd11dff336c4df174bea0422ab0c479e431f;hb=533b3ebef5176bdabe3e6dea4d384a5d1640dbad;hp=e3c59630b92cc6ab150b70be4efecc197272c24f;hpb=7ce425ac7ed2ff3b348d1d8be37df8a5e3db21f2;p=satune.git

diff --git a/src/AST/astops.h b/src/AST/astops.h
index e3c5963..8ddbdd1 100644
--- 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;