From a20e32f9e3b470c923f903d7cb2ac6ed8c5e76d8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 1 Nov 2012 22:03:37 -0700
Subject: Improvements to LMS code.

---
 src/map/if/ifMap.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/map/if/ifMap.c')

diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index 1f7ba898..d4d0d1dd 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -344,6 +344,8 @@ void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fP
         If_ObjForEachCut( pTemp, pCutTemp, i )
         {
             assert( p->pPars->fSeqMap || pCutTemp->nLeaves > 1 );
+            if ( pCutTemp->fUseless )
+                continue;
             // get the next free cut
             assert( pCutSet->nCuts <= pCutSet->nCutsMax );
             pCut = pCutSet->ppCuts[pCutSet->nCuts];
-- 
cgit v1.2.3