diff options
Diffstat (limited to 'tools/ocamlprof.ml')
| -rw-r--r-- | tools/ocamlprof.ml | 2 |
1 files changed, 1 insertions, 1 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 *) |