WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Commit 6fe5c47

Browse files
cristianoccristianoc
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)