diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-14 19:54:27 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-14 19:54:27 -0800 |
commit | e73fca371023c25e17dab0ae4f1b555b64d68df0 (patch) | |
tree | f442c905bd867bf39228def26ab6c1fcaa566f80 /src/base/wln/wlnRetime.c | |
parent | 8b6207e171f1a07357cd11a43e20c5c0a0d7fc28 (diff) | |
download | abc-e73fca371023c25e17dab0ae4f1b555b64d68df0.tar.gz abc-e73fca371023c25e17dab0ae4f1b555b64d68df0.tar.bz2 abc-e73fca371023c25e17dab0ae4f1b555b64d68df0.zip |
Commenting out assertion.
Diffstat (limited to 'src/base/wln/wlnRetime.c')
-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 ); } |