summaryrefslogtreecommitdiff
path: root/tools/ocamlprof.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2013-03-04 12:54:57 +0000
committerAlain Frisch <alain@frisch.fr>2013-03-04 12:54:57 +0000
commite58b2cd036cc3d9ef112c1875032913367b5926d (patch)
tree90177938ae6c97d2efd7f6db202bb9d7a2d03717 /tools/ocamlprof.ml
parentc8d3ff52a2d136fba898b54b0ff35b523789fd00 (diff)
downloadocaml-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.ml2
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