diff --git a/tests/lean/eqn_hole.lean.expected.out b/tests/lean/eqn_hole.lean.expected.out
index 610e7ef445..5aafd3435a 100644
--- a/tests/lean/eqn_hole.lean.expected.out
+++ b/tests/lean/eqn_hole.lean.expected.out
@@ -8,7 +8,7 @@ context:
 g : ℕ → ℕ,
 n : ℕ
 ⊢ ℕ
-eqn_hole.lean:8:11: error: tactic failed, there are unsolved goals
+eqn_hole.lean:8:11: error: failed to prove function is descreasing
 state:
 g : ℕ → ℕ,
 n : ℕ