Skip to content

Commit 6fe5c47

Browse files
committed
Update matching.ml
1 parent 1850fe5 commit 6fe5c47

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

compiler/ml/matching.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1810,7 +1810,7 @@ let reintroduce_fail sw =
18101810
(fun i c ->
18111811
if
18121812
c > !max || (c = !max && i > !i_max)
1813-
(* tie-break for determinism: choose the smallest index*)
1813+
(* tie-break for determinism: choose the largest index *)
18141814
then (
18151815
i_max := i;
18161816
max := c))

0 commit comments

Comments
 (0)