diff options
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/fret/fretMain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/fret/fretMain.c b/src/opt/fret/fretMain.c index 41de55b9..df784e6a 100644 --- a/src/opt/fret/fretMain.c +++ b/src/opt/fret/fretMain.c @@ -523,7 +523,7 @@ Abc_FlowRetime_PushFlows( Abc_Ntk_t * pNtk, bool fVerbose ) { if (fVerbose) vprintf("max-flow2 = %d\n", flow); - PRT( "time", clock() - clk ); +// PRT( "time", clock() - clk ); return flow; } |