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;