chore: fix test

2021-02-10 12:04:33 -08:00 · 2021-02-10 12:04:33 -08:00 · 896ce41b33
commit 896ce41b33
parent 8815e76b4d
1 changed files with 4 additions and 0 deletions
--- a/tests/lean/matchunit.lean.expected.out
+++ b/tests/lean/matchunit.lean.expected.out
@ -1,2 +1,6 @@
 def f : Unit → Nat :=
 fun (a : Unit) => 10
+def g : Unit → Unit :=
+fun (a : Unit) =>
+  match a with 
+  | b@PUnit.unit => b