diff options
| -rw-r--r-- | tools/ocamlprof.ml | 2 | ||||
| -rw-r--r-- | tools/profiling.ml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml index aa71db3b1..a7bfc30d7 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -314,7 +314,7 @@ let set_flags s = (* Command-line options *) let modes = ref "fm" -let dumpfile = ref "cslprof.dump" +let dumpfile = ref "ocamlprof.dump" (* Process a file *) 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 _ -> () |