From b29a9ce325d5948dc7acecb213d60ca26cfbef29 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 27 Jul 2016 15:06:05 -0700
Subject: [PATCH] chore(tests/lean): fix test output

---
 tests/lean/elab4.lean.expected.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/elab4.lean.expected.out b/tests/lean/elab4.lean.expected.out
index 69c014b55b..43cbafb966 100644
--- a/tests/lean/elab4.lean.expected.out
+++ b/tests/lean/elab4.lean.expected.out
@@ -5,7 +5,7 @@
 elab4.lean:13:6: error: none of the overloads is applicable
 error for bla.f
 failed to synthesize type class instance for
-  has_zero bool
+⊢ has_zero bool
 
 error for foo.f
 invalid function application, too many arguments, function type: