diff options
Diffstat (limited to 'src/aig/dar/darCore.c')
-rw-r--r-- | src/aig/dar/darCore.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/aig/dar/darCore.c b/src/aig/dar/darCore.c index 147cd38f..23563766 100644 --- a/src/aig/dar/darCore.c +++ b/src/aig/dar/darCore.c @@ -64,10 +64,6 @@ int Dar_ManRewrite( Dar_Man_t * p ) continue; if ( i > nNodesOld ) break; - if ( pObj->Id == 654 ) - { - int x = 0; - } // compute cuts for the node clk = clock(); pCutSet = Dar_ObjComputeCuts_rec( p, pObj ); |