diff options
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; |