diff options
Diffstat (limited to 'src/aig/cnf/cnfCore.c')
| -rw-r--r-- | src/aig/cnf/cnfCore.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/cnf/cnfCore.c b/src/aig/cnf/cnfCore.c index 13de745b..06731451 100644 --- a/src/aig/cnf/cnfCore.c +++ b/src/aig/cnf/cnfCore.c @@ -75,6 +75,8 @@ clk = clock(); Aig_MmFixedStop( pMemCuts, 0 ); p->timeSave = clock() - clk; + // reset reference counters + Aig_ManResetRefs( pAig ); //PRT( "Cuts ", p->timeCuts ); //PRT( "Map ", p->timeMap ); //PRT( "Saving ", p->timeSave ); |