diff options
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 64d737c3d7..b9d80c3046 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -287,6 +287,8 @@ and rw_exp iflag sexp = | Pexp_lazy (expr) -> rewrite_exp iflag expr + | Pexp_poly (sexp, _) -> rewrite_exp iflag sexp + and rewrite_ifbody iflag ghost sifbody = if !instr_if && not ghost then insert_profile rw_exp sifbody |