diff options
| -rw-r--r-- | src/aig/gia/giaNf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 403c220a..b7faa77d 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1990,7 +1990,7 @@ void Nf_ManComputeMappingEla( Nf_Man_t * p ) assert( pMb->fBest ); assert( pMb->D <= Required ); //assert( Scl_Flt2Int(pMb->F) == (int)AreaAft ); - assert( AreaBef >= AreaAft ); + //assert( AreaBef >= AreaAft ); *pM = *pMb; // update timing pCell = Nf_ManCell( p, pMb->Gate ); |