edit

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index eebf4b0b7fb6ff7eebace89afda88bc08b28d9f1..8dab3ab9d089936eb0ae7a8c5ff1accfe78c000e 100644 (file)
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -64,6 +64,9 @@ Edge SATEncoder::encodeConstraintSATEncoder(BooleanEdge c) {
        case PREDICATEOP:
                result = encodePredicateSATEncoder((BooleanPredicate *) constraint);
                break;
        case PREDICATEOP:
                result = encodePredicateSATEncoder((BooleanPredicate *) constraint);
                break;

+       case BOOLCONST:
+               result = ((BooleanConst *) constraint)->isTrue() ? E_True : E_False;
+               break;

        default:
                model_print("Unhandled case in encodeConstraintSATEncoder %u", constraint->type);
                exit(-1);
        default:
                model_print("Unhandled case in encodeConstraintSATEncoder %u", constraint->type);
                exit(-1);