diff options
Diffstat (limited to 'tools/profiling.ml')
| -rw-r--r-- | tools/profiling.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/profiling.ml b/tools/profiling.ml index 69efdb94d..3b28cb902 100644 --- a/tools/profiling.ml +++ b/tools/profiling.ml @@ -22,7 +22,7 @@ exception Bad_profile let dump_counters () = begin try - let ic = open_in_bin "cslprof.dump" in + let ic = open_in_bin "ocamlprof.dump" in let prevl = (input_value ic : profiling_counters) in close_in ic; List.iter2 @@ -41,7 +41,7 @@ let dump_counters () = with _ -> () end; begin try - let oc = open_out_bin "cslprof.dump" in + let oc = open_out_bin "ocamlprof.dump" in output_value oc !counters; close_out oc with _ -> () |