diff --git a/tests/lean/matchunit.lean.expected.out b/tests/lean/matchunit.lean.expected.out
index 5d3ccec3fc..2ee74f1b1d 100644
--- 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