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)