Changes to LUT mappers.

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 );
     }