From 0b1f0de7d2055800650b487cf9cbdf740142e80a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 2 Aug 2016 13:55:08 -0700 Subject: [PATCH] chore(tests/lean/inst_error.lean.expected.out): fix output --- tests/lean/inst_error.lean.expected.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lean/inst_error.lean.expected.out b/tests/lean/inst_error.lean.expected.out index 95518d97c2..16e4786b7c 100644 --- a/tests/lean/inst_error.lean.expected.out +++ b/tests/lean/inst_error.lean.expected.out @@ -1,4 +1,4 @@ -inst_error.lean:1:0: error: failed to synthesize type class instance for +inst_error.lean:1:38: error: failed to synthesize type class instance for A : Type, a b c : A ⊢ decidable (a = b ∧ a = c)