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 4ee1ef06e8..0eed544254 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -385,7 +385,7 @@ and rewrite_mod iflag smod = match smod.pmod_desc with Pmod_ident _ -> () | Pmod_structure sstr -> List.iter (rewrite_str_item iflag) sstr - | Pmod_functor(_param, _smty, sbody) -> rewrite_mod iflag sbody + | Pmod_functor(_param, sbody) -> rewrite_mod iflag sbody | Pmod_apply(smod1, smod2) -> rewrite_mod iflag smod1; rewrite_mod iflag smod2 | Pmod_constraint(smod, _smty) -> rewrite_mod iflag smod | Pmod_unpack(sexp) -> rewrite_exp iflag sexp |