diff options
Diffstat (limited to 'src/aig/cnf/cnfCore.c')
| -rw-r--r-- | src/aig/cnf/cnfCore.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/cnf/cnfCore.c b/src/aig/cnf/cnfCore.c index 88a55c22..13de745b 100644 --- a/src/aig/cnf/cnfCore.c +++ b/src/aig/cnf/cnfCore.c @@ -75,9 +75,9 @@ clk = clock(); Aig_MmFixedStop( pMemCuts, 0 ); p->timeSave = clock() - clk; -PRT( "Cuts ", p->timeCuts ); -PRT( "Map ", p->timeMap ); -PRT( "Saving ", p->timeSave ); +//PRT( "Cuts ", p->timeCuts ); +//PRT( "Map ", p->timeMap ); +//PRT( "Saving ", p->timeSave ); return pCnf; } |