diff options
Diffstat (limited to 'tools/ocamlprof.ml')
| -rw-r--r-- | tools/ocamlprof.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml index e2b1c2f787..bfecc07879 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -288,7 +288,6 @@ and rw_exp iflag sexp = | Pexp_newtype (_, sexp) -> rewrite_exp iflag sexp | Pexp_pack (smod, _) -> rewrite_mod iflag smod - | Pexp_unpack (sexp1, _, _, sexp2) -> rewrite_exp iflag sexp1; rewrite_exp iflag sexp2 and rewrite_ifbody iflag ghost sifbody = if !instr_if && not ghost then |