From 43a6b47d533822ef1d03b318a4c3a51f8894d943 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 14 Jul 2017 15:52:05 -0700
Subject: [PATCH] Fix bug in constraint.c

---
 src/Backend/constraint.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Backend/constraint.c b/src/Backend/constraint.c
index 8c4b7c8..92a47fd 100644
--- a/src/Backend/constraint.c
+++ b/src/Backend/constraint.c
@@ -424,9 +424,9 @@ void convertConstraint(CNF *cnf, VectorEdge *stack, Edge root, bool backtrackLit
 	Node *nroot=getNodePtrFromEdge(root);
 	
 	if (isNodeEdge(root) && (nroot->flags.type == NodeType_ITE || nroot->flags.type == NodeType_IFF)) {
-		root = (Edge) { (Node *) nroot->ptrAnnot[isNegEdge(root)]};
+		nroot = (Node *) nroot->ptrAnnot[isNegEdge(root)];
+		root = (Edge) { nroot };
 	}
-	
 	if (edgeIsConst(root)) {
 		if (isNegEdge(root)) {
 			//trivally unsat
-- 
2.34.1