From: bdemsky <bdemsky@uci.edu>
Date: Wed, 12 Jul 2017 03:23:34 +0000 (-0700)
Subject: Forgot to turn on CIRCUIT Encoding
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=247c1b24e37a888dddbb48b4fab205e869c6c9d2;p=satune.git

Forgot to turn on CIRCUIT Encoding
---

diff --git a/src/Backend/satfuncencoder.c b/src/Backend/satfuncencoder.c
index 8938824..450ef85 100644
--- 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);
 	}