From 39b850fb10f07dfe49319b70f72f1cca9648fbd5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 24 May 2017 13:39:40 -0700 Subject: [PATCH] fix(tests/lean/eqn_hole): test output --- tests/lean/eqn_hole.lean.expected.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 : ℕ