Forgot to turn on CIRCUIT Encoding

diff --git a/src/Backend/satfuncencoder.c b/src/Backend/satfuncencoder.c
index 89388249af184347248df967f4cf6236ef9e20e8..450ef8527cf5d0d4d3af5694d8fe6f6b29bc9ede 100644 (file)
--- a/src/Backend/satfuncencoder.c
+++ b/src/Backend/satfuncencoder.c
@@ -48,8 +48,7 @@ Edge encodeOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * con
                case ENUMERATEIMPLICATIONS:
                        return encodeEnumOperatorPredicateSATEncoder(This, constraint);
                case CIRCUIT:
-                       ASSERT(0);
-                       break;
+                       return encodeCircuitOperatorPredicateEncoder(This, constraint);
                default:
                        ASSERT(0);
        }