diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-21 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-21 08:01:00 -0800 |
| commit | 2167d6c148191f7aa65381bb0618b64050bf4de3 (patch) | |
| tree | 345f5cc859142b50f01d261073688e880e61b631 /src/opt/kit/kitIsop.c | |
| parent | 76bcf6b25411e1b0d73e5dff6c8fd3e2f4bab9e1 (diff) | |
| download | abc-2167d6c148191f7aa65381bb0618b64050bf4de3.tar.gz abc-2167d6c148191f7aa65381bb0618b64050bf4de3.tar.bz2 abc-2167d6c148191f7aa65381bb0618b64050bf4de3.zip | |
Version abc70121
Diffstat (limited to 'src/opt/kit/kitIsop.c')
| -rw-r--r-- | src/opt/kit/kitIsop.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/kit/kitIsop.c b/src/opt/kit/kitIsop.c index d54932ee..cc61a6bd 100644 --- a/src/opt/kit/kitIsop.c +++ b/src/opt/kit/kitIsop.c @@ -72,6 +72,7 @@ int Kit_TruthIsop( unsigned * puTruth, int nVars, Vec_Int_t * vMemory, int fTryB assert( Extra_TruthIsEqual( puTruth, pResult, nVars ) ); if ( pcRes->nCubes == 0 || (pcRes->nCubes == 1 && pcRes->pCubes[0] == 0) ) { + vMemory->pArray[0] = 0; Vec_IntShrink( vMemory, pcRes->nCubes ); return 0; } |