From 3e65b259423541f8fa9f91a2f6f17c888d69c8cb Mon Sep 17 00:00:00 2001
From: David A Roberts <d@vidr.cc>
Date: Mon, 1 Apr 2024 10:03:10 +1000
Subject: [PATCH] Apply patch to If_ObjPerformMappingChoice too

(cherry picked from commit accf50468a0fb88db8de9743b751ab9226e8f343)
---
 src/map/if/ifMap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index 07e6cac82..d508afd9d 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -558,7 +558,7 @@ void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fP
                 continue;
             // check if the cut satisfies the required times
 //            assert( pCut->Delay == If_CutDelay( p, pTemp, pCut ) );
-            if ( Mode && pCut->Delay > pObj->Required + p->fEpsilon )
+            if ( Mode && pCut->Delay > pObj->Required + p->fEpsilon && pCutSet->nCuts > 0 )
                 continue;
             // set the phase attribute
             pCut->fCompl = pObj->fPhase ^ pTemp->fPhase;