Commenting out useless assertion.

4712edc0 · Alan Mishchenko · 0b7dcbbc · 4712edc0
Commit 4712edc0 authored Jul 06, 2017 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/gia/giaNf.c
+1 -1

No files found.
--- 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 );