diff options
Diffstat (limited to 'src/map/if/ifMan.c')
-rw-r--r-- | src/map/if/ifMan.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index cd8d2688..529b8cb9 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -153,10 +153,7 @@ void If_ManStop( If_Man_t * p ) if ( p->pPars->fVerbose && p->nCuts5 ) Abc_Print( 1, "Statistics about 5-cuts: Total = %d Non-decomposable = %d (%.2f %%)\n", p->nCuts5, p->nCuts5-p->nCuts5a, 100.0*(p->nCuts5-p->nCuts5a)/p->nCuts5 ); if ( p->pPars->fUseDsd ) - { - If_DsdManPrint( p->pIfDsdMan, NULL ); If_DsdManFree( p->pIfDsdMan ); - } // Abc_PrintTime( 1, "Truth", p->timeTruth ); // Abc_Print( 1, "Small support = %d.\n", p->nSmallSupp ); Vec_IntFreeP( &p->vCoAttrs ); |