From 8515b304dab2be4db64ddaebe06af646687a5e0b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 10 Jan 2020 12:20:09 -0800
Subject: [PATCH] bdd return

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/dd/dd_bdd.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/dd/dd_bdd.cpp b/src/math/dd/dd_bdd.cpp
index 940d161e1..1ead43d70 100644
--- a/src/math/dd/dd_bdd.cpp
+++ b/src/math/dd/dd_bdd.cpp
@@ -92,10 +92,10 @@ namespace dd {
                 if (!first) throw;
                 try_reorder();
                 first = false;
-                return null_bdd;
             }
         }
         SASSERT(well_formed());
+        return null_bdd;
     }