fix(tests/lean/eqn_hole): test output

2017-05-24 13:39:40 -07:00 · 2017-05-24 13:39:40 -07:00 · 39b850fb10
commit 39b850fb10
parent e3249dfdb9
1 changed files with 1 additions and 1 deletions
--- 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 : ℕ