From 0c47d04c0b7b8096ea37300720165bb0b0c183d9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 1 Apr 2015 15:31:27 +0700
Subject: Important corner-case bug in SOP computation (recently introduced).

---
 src/misc/extra/extraBddMisc.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/misc/extra')

diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c
index 0ec123f4..be6c03f1 100644
--- a/src/misc/extra/extraBddMisc.c
+++ b/src/misc/extra/extraBddMisc.c
@@ -1276,7 +1276,10 @@ static DdNode * extraBddCountCubes( DdManager * dd, DdNode * L, DdNode * U, st__
 
     statLine(dd);
     if (L == zero)
+    {
+        *pnCubes = 0;
         return(zero);
+    }
     if (U == one)
     {
         *pnCubes = 1;
-- 
cgit v1.2.3