summaryrefslogtreecommitdiff
path: root/bytecomp/simplif.ml
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/simplif.ml')
-rw-r--r--bytecomp/simplif.ml2
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);