From 4492f428bba44a2055f629472ec61ed47097fe66 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 29 Jul 2017 09:55:04 +0200
Subject: [PATCH] worked in fix to Cudd_addMinus suggested by Fabio Somenzi

---
 resources/3rdparty/cudd-3.0.0/cudd/cuddAddApply.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/resources/3rdparty/cudd-3.0.0/cudd/cuddAddApply.c b/resources/3rdparty/cudd-3.0.0/cudd/cuddAddApply.c
index 01fc45fe6..c0b6cebe0 100644
--- a/resources/3rdparty/cudd-3.0.0/cudd/cuddAddApply.c
+++ b/resources/3rdparty/cudd-3.0.0/cudd/cuddAddApply.c
@@ -350,7 +350,9 @@ Cudd_addMinus(
 
     F = *f; G = *g;
     if (F == G) return(DD_ZERO(dd));
-    if (F == DD_ZERO(dd)) return(cuddAddNegateRecur(dd,G));
+    // CHANGED BY CHRISTIAN DEHNERT.
+    // Commented out this case to avoid issues with dynamic reordering (fix suggested by Fabio Somenzi).
+    // if (F == DD_ZERO(dd)) return(cuddAddNegateRecur(dd,G));
     if (G == DD_ZERO(dd)) return(F);
     if (cuddIsConstant(F) && cuddIsConstant(G)) {
 	value = cuddV(F)-cuddV(G);