diff --git a/src/codegen/codegen.ml b/src/codegen/codegen.ml index e1d21951d45..1be4e056951 100644 --- a/src/codegen/codegen.ml +++ b/src/codegen/codegen.ml @@ -468,6 +468,7 @@ module Dump = struct loop entries 0; end; close(); + Hashtbl.clear stats end (*