diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/wln/wlnRetime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c index d5247f02..3c4b4822 100644 --- a/src/base/wln/wlnRetime.c +++ b/src/base/wln/wlnRetime.c @@ -476,7 +476,7 @@ void Wln_RetInsertOneFanout( Wln_Ret_t * p, int iObj, int iFlop ) { if ( pLink[0] ) pLink = Wln_RetHeadToTail( p, pLink ); - assert( pLink[0] == 0 ); + //assert( pLink[0] == 0 ); pLink[0] = Vec_IntSize(&p->vEdgeLinks); Vec_IntPushTwo( &p->vEdgeLinks, 0, iFlop ); } |