diff options
Diffstat (limited to 'src/base/abc/abcSop.c')
| -rw-r--r-- | src/base/abc/abcSop.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abc/abcSop.c b/src/base/abc/abcSop.c index 62c3ba06..ea94c961 100644 --- a/src/base/abc/abcSop.c +++ b/src/base/abc/abcSop.c @@ -378,6 +378,8 @@ char * Abc_SopCreateFromTruth( Mem_Flex_t * pMan, int nVars, unsigned * pTruth ) { char * pSop, * pCube; int nMints, Counter, i, k; + if ( nVars == 0 ) + return pTruth[0] ? Abc_SopCreateConst1(pMan) : Abc_SopCreateConst0(pMan); // count the number of true minterms Counter = 0; nMints = (1 << nVars); |