diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr5785.ml')
| -rw-r--r-- | testsuite/tests/typing-gadts/pr5785.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typing-gadts/pr5785.ml b/testsuite/tests/typing-gadts/pr5785.ml index 7419264580..96eed8fd5a 100644 --- a/testsuite/tests/typing-gadts/pr5785.ml +++ b/testsuite/tests/typing-gadts/pr5785.ml @@ -15,7 +15,7 @@ end;; [%%expect{| Line 7, characters 43-100: 7 | ...........................................function - | | One, One -> "two" +8 | | One, One -> "two" 9 | | Two, Two -> "four" Warning 8: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: |