diff --git a/tests/lean/770.hlean.expected.out b/tests/lean/770.hlean.expected.out
index cd9389f01..379e8fecc 100644
--- a/tests/lean/770.hlean.expected.out
+++ b/tests/lean/770.hlean.expected.out
@@ -1,2 +1,4 @@
 770.hlean:16:18: error: function expected at
   n
+which has type
+  ℕ