Fix bug in constraint.c

diff --git a/src/Backend/constraint.c b/src/Backend/constraint.c
index 8c4b7c896db8e9036a579075434baae810992c54..92a47fd22b03c9c40fd2838bfbae96fceff039e4 100644 (file)
--- 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