From 4b2205ce6e2fe09f00d339f0f3ef8d3fc04449df Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 15 Apr 2015 17:38:08 +0900 Subject: Commenting out useless assertion in choice computation. --- src/aig/gia/giaDup.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 801d4453..73337a15 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -2646,7 +2646,7 @@ Gia_Man_t * Gia_ManChoiceMiter( Vec_Ptr_t * vGias ) Gia_ManHashStop( pNew ); // check the presence of dangling nodes nNodes = Gia_ManHasDangling( pNew ); - assert( nNodes == 0 ); + //assert( nNodes == 0 ); // finalize Gia_ManSetRegNum( pNew, Gia_ManRegNum(pGia0) ); return pNew; -- cgit v1.2.3