From 933b5863cd4e9fc06dad97225b0bd060935dfe85 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 11 Apr 2016 09:50:46 -0700
Subject: [PATCH] fix(tests/lean/770): adjust test output

Pull request #1037 changed error message but did not correct test output.
---
 tests/lean/770.hlean.expected.out | 2 ++
 1 file changed, 2 insertions(+)

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
+  ℕ