diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 38da65c24..b267e7f30 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -354,7 +354,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, int fDumpFile )
             fprintf( pTable, " " );
             fprintf( pTable, "%d ", nLuts           );
             fprintf( pTable, "%d ", LevelMax        );
-//            fprintf( pTable, "%.2f", 1.0*(Abc_Clock() - clk)/CLOCKS_PER_SEC );
+            fprintf( pTable, "%.2f", 1.0*(Abc_Clock() - clk)/CLOCKS_PER_SEC );
         }
         fclose( pTable );
     }