From 4712edc09705cc79638ebfeef92d7e292c15a1c6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 6 Jul 2017 21:13:25 -0700
Subject: Commenting out useless assertion.

---
 src/aig/gia/giaNf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 );
-- 
cgit v1.2.3