From 7ba37f4901cfe1aed8da2bd156c6ba65d0d40495 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 3 Nov 2012 00:38:17 -0700
Subject: Improved DSD.

---
 src/misc/util/utilTruth.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/misc')

diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h
index f6476724..22ad6aba 100644
--- a/src/misc/util/utilTruth.h
+++ b/src/misc/util/utilTruth.h
@@ -530,7 +530,8 @@ static inline int Abc_TtSuppFindFirst( int Supp )
 }
 static inline int Abc_TtSuppOnlyOne( int Supp )
 {
-    assert( Supp > 0 );
+    if ( Supp == 0 )
+        return 0;
     return (Supp & (Supp-1)) == 0;
 }
 static inline int Abc_TtSuppIsMinBase( int Supp )
-- 
cgit v1.2.3