diff options
Diffstat (limited to 'src/misc/util/utilTruth.h')
| -rw-r--r-- | src/misc/util/utilTruth.h | 3 |
1 files changed, 2 insertions, 1 deletions
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 ) |