From: bdemsky <bdemsky@uci.edu>
Date: Wed, 18 Jul 2018 23:24:04 +0000 (-0700)
Subject: edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1e2f88c73baf18b21b24fa180e9598d90efaeb1c;p=satune.git

edit
---

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index eebf4b0..8dab3ab 100644
--- 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 BOOLCONST:
+		result = ((BooleanConst *) constraint)->isTrue() ? E_True : E_False;
+		break;
 	default:
 		model_print("Unhandled case in encodeConstraintSATEncoder %u", constraint->type);
 		exit(-1);