X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fastops.h;fp=src%2FAST%2Fastops.h;h=c385ba5c4fd93d388f3d848b31ca441755cd9ac2;hp=d4e185d1498483d944fd4852c14f827fae8c5cdd;hb=23d460e60a4a44a1e7dab8fe9153cad37728a20d;hpb=5ca16b31231e6033e41e916627b97e6b93cd4647

diff --git a/src/AST/astops.h b/src/AST/astops.h
index d4e185d..c385ba5 100644
--- a/src/AST/astops.h
+++ b/src/AST/astops.h
@@ -17,6 +17,8 @@ typedef enum Polarity Polarity;
 enum BooleanValue {BV_UNDEFINED=0, BV_MUSTBETRUE=1, BV_MUSTBEFALSE=2, BV_UNSAT=3};
 typedef enum BooleanValue BooleanValue;
 
+extern const char *elemEncTypeNames[];
+
 enum ElementEncodingType {
 	ELEM_UNASSIGNED, ONEHOT, UNARY, BINARYINDEX, BINARYVAL
 };