diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml')
-rw-r--r-- | testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml b/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml index 7863ebef5e..78557072cc 100644 --- a/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml +++ b/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml @@ -108,7 +108,8 @@ let ambiguous__in_depth = function let not_ambiguous__several_orpats = function | `A ((`B (x, Some _, _) | `B (x, _, Some _)), (`C (y, Some _, _) | `C (y, _, Some _)), - (`D1 (_, z, Some _, _) | `D2 (_, z, _, Some _))) when x < y && x < z -> () + (`D1 (_, z, Some _, _) | `D2 (_, z, _, Some _))) when x < y && x < z -> + () | _ -> () ;; |