Remove unimplemented enum

[satune.git] / src / Backend / satelemencoder.cc

diff --git a/src/Backend/satelemencoder.cc b/src/Backend/satelemencoder.cc
index ed761e3b62eabc8a28eb32cc85899bd20db1f1d5..7dcb5de6c10ebf7894e7946a14e6d431448430de 100644 (file)
--- a/src/Backend/satelemencoder.cc
+++ b/src/Backend/satelemencoder.cc
@@ -13,9 +13,6 @@ Edge SATEncoder::getElementValueConstraint(Element *elem, uint64_t value) {
                return getElementValueUnaryConstraint(elem, value);
        case BINARYINDEX:
                return getElementValueBinaryIndexConstraint(elem, value);
-       case ONEHOTBINARY:
-               ASSERT(0);
-               break;
        case BINARYVAL:
                return getElementValueBinaryValueConstraint(elem, value);
                break;
@@ -138,8 +135,6 @@ void SATEncoder::generateElementEncoding(Element *element) {
        case UNARY:
                generateUnaryEncodingVars(encoding);
                return;
-       case ONEHOTBINARY:
-               return;
        case BINARYVAL:
                generateBinaryValueEncodingVars(encoding);
                return;