diff options
Diffstat (limited to 'test-suite/output/Notations.out')
| -rw-r--r-- | test-suite/output/Notations.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/output/Notations.out b/test-suite/output/Notations.out index ada524f1c9..5a32cff963 100644 --- a/test-suite/output/Notations.out +++ b/test-suite/output/Notations.out @@ -116,8 +116,8 @@ fun x : option Z => match x with end : option Z -> Z fun x : option Z => match x with - | SOME3 x0 => x0 - | NONE3 => 0 + | SOME3 _ x0 => x0 + | NONE3 _ => 0 end : option Z -> Z s |