diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-15 09:15:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-15 09:15:10 -0800 |
| commit | 1f0e5533dc32c8c3543dece554a148815c7d49c2 (patch) | |
| tree | 2bc16805e6f2c2b3fc8fc53aca215c5b19caa76d /src/base/abci | |
| parent | 60a84f7350f6a4a07342c99fa28821574700a6bf (diff) | |
| download | abc-1f0e5533dc32c8c3543dece554a148815c7d49c2.tar.gz abc-1f0e5533dc32c8c3543dece554a148815c7d49c2.tar.bz2 abc-1f0e5533dc32c8c3543dece554a148815c7d49c2.zip | |
Several small bug fixes in the mapper.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcRec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c index 26992c81..52b52186 100644 --- a/src/base/abci/abcRec.c +++ b/src/base/abci/abcRec.c @@ -2243,8 +2243,8 @@ int If_CutDelayRecCost(If_Man_t* p, If_Cut_t* pCut) if ( !Kit_TruthIsEqualWithPhase( pTruthRec, pInOut, nLeaves ) ) { assert( 0 ); - return -1; s_pMan->nIfMapError++; + return -1; } // mark as user cut. pCut->fUser = 1; |