diff options
Diffstat (limited to 'src/opt/ret/retCore.c')
-rw-r--r-- | src/opt/ret/retCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/ret/retCore.c b/src/opt/ret/retCore.c index 47b2cbbc..9de1b723 100644 --- a/src/opt/ret/retCore.c +++ b/src/opt/ret/retCore.c @@ -94,7 +94,7 @@ int Abc_NtkRetime( Abc_Ntk_t * pNtk, int Mode, int fForwardOnly, int fBackwardOn { printf( "Reduction in area = %3d. Reduction in delay = %3d. ", nLatches - Abc_NtkLatchNum(pNtk), nLevels - Abc_NtkLevel(pNtk) ); - PRT( "Total runtime", clock() - clkTotal ); + ABC_PRT( "Total runtime", clock() - clkTotal ); } timeRetime = clock() - clkTotal; return RetValue; |