diff options
| author | alainfrisch <alain@frisch.fr> | 2017-11-29 18:08:10 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2017-12-01 10:13:48 +0100 |
| commit | 0ee044895ea4f1f04a8e4bf46044e97dcbf1eb8b (patch) | |
| tree | 2f745a7c5bf976f31da6eea311c7aba8e0075bd4 /bytecomp/simplif.ml | |
| parent | 8489efb58e78301edcd87f0d7545c7b16500732b (diff) | |
| download | ocaml-fix_7680.tar.gz | |
Get rid of redundant machinery.fix_7680
Diffstat (limited to 'bytecomp/simplif.ml')
| -rw-r--r-- | bytecomp/simplif.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/simplif.ml b/bytecomp/simplif.ml index 074ff5ccea..954377b8cc 100644 --- a/bytecomp/simplif.ml +++ b/bytecomp/simplif.ml @@ -282,7 +282,7 @@ let simplify_exits lam = if count = 0 then (* Discard staticcatch: not matching exit *) simplif l1 - else if i >= 0 && count = 1 && max_depth <= !try_depth then begin + else if count = 1 && max_depth <= !try_depth then begin (* Inline handler if there is a single occurrence and it is not nested within an inner try..with *) assert(max_depth = !try_depth); |