diff options
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaIf.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 57cc988f..11a349e3 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1659,10 +1659,6 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp, int fNormalized ) pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; pNew->nAnd2Delay = p->nAnd2Delay; p->nAnd2Delay = 0; Gia_ManStop( p ); -// printf( "PERFORMING VERIFICATION:\n" ); -// Gia_ManVerifyWithBoxes( pNew, NULL ); -// if ( pPars->fRepack ) -// Gia_ManIffTest( pNew, pPars->pLutLib, pPars->fVerbose ); return pNew; } |