Commenting out useless assertion in choice computation.

2026-09-03 06:33:00 +02:00 · 2015-04-15 17:38:08 +09:00
parent e85d29663a
commit 4b2205ce6e
1 changed files with 1 additions and 1 deletions
@@ -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;