diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 72b0c976b..f73c39b6c 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -354,6 +354,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile )
             fprintf( pTable, "%d ", nLuts           );
             fprintf( pTable, "%d ", LevelMax        );
             fprintf( pTable, "%.2f", 1.0*(Abc_Clock() - clk)/CLOCKS_PER_SEC );
+            clk = Abc_Clock();
         }
         fclose( pTable );
     }