From 69b5bcad56f9352eea80d3e9b5e1322782522059 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 3 Apr 2008 20:01:00 -0700
Subject: Version abc80403_2

---
 src/map/if/ifLib.c | 2 +-
 src/map/if/ifMap.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/map/if')

diff --git a/src/map/if/ifLib.c b/src/map/if/ifLib.c
index c5353e19..455f43d9 100644
--- a/src/map/if/ifLib.c
+++ b/src/map/if/ifLib.c
@@ -90,7 +90,7 @@ If_Lib_t * If_LutLibRead( char * FileName )
             return NULL;
         }
 
-        // check if var delays are specifies
+        // check if var delays are specified
         if ( k > 1 )
             p->fVarPinDelays = 1;
 
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index 81521abf..573932d0 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -88,7 +88,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep
     {
         // recompute the parameters of the best cut
         pCut->Delay = If_CutDelay( p, pCut );
-        assert( pCut->Delay <= pObj->Required + p->fEpsilon );
+//        assert( pCut->Delay <= pObj->Required + p->fEpsilon );
         pCut->Area = (Mode == 2)? If_CutAreaDerefed( p, pCut ) : If_CutAreaFlow( p, pCut );
         if ( p->pPars->fEdge )
             pCut->Edge = (Mode == 2)? If_CutEdgeDerefed( p, pCut ) : If_CutEdgeFlow( p, pCut );
-- 
cgit v1.2.3