diff options
author | Alain Frisch <alain@frisch.fr> | 2013-03-04 12:54:57 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2013-03-04 12:54:57 +0000 |
commit | e58b2cd036cc3d9ef112c1875032913367b5926d (patch) | |
tree | 90177938ae6c97d2efd7f6db202bb9d7a2d03717 /tools/ocamlprof.ml | |
parent | c8d3ff52a2d136fba898b54b0ff35b523789fd00 (diff) | |
download | ocaml-e58b2cd036cc3d9ef112c1875032913367b5926d.tar.gz |
Continue.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/ocamlprof.ml')
-rw-r--r-- | tools/ocamlprof.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml index 83f4abc74f..155c3269b8 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -359,6 +359,8 @@ and rewrite_mod iflag smod = | 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 + | Pmod_attribute (smod, _) -> rewrite_mod iflag smod + | Pmod_extension _ -> () and rewrite_str_item iflag item = match item.pstr_desc with |