diff options
Diffstat (limited to 'test-suite/output/Cases.out')
| -rw-r--r-- | test-suite/output/Cases.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/output/Cases.out b/test-suite/output/Cases.out index 9d0d0658..995754a6 100644 --- a/test-suite/output/Cases.out +++ b/test-suite/output/Cases.out @@ -21,7 +21,7 @@ Argument scopes are [nat_scope nat_scope _ _ _] foo = fix foo (A : Type) (l : list A) {struct l} : option A := match l with - | nil => None (A:=A) + | nil => None | x0 :: nil => Some x0 | x0 :: (_ :: _) as l0 => foo A l0 end |