From 03391006dc0c6b428ab702e94b0bf1e27be7eed7 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 8 Jun 2018 11:21:01 -0700 Subject: [PATCH] chore(tests/lean/revert): fix test --- tests/lean/revert.lean.expected.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lean/revert.lean.expected.out b/tests/lean/revert.lean.expected.out index c045d38951..30a846725f 100644 --- a/tests/lean/revert.lean.expected.out +++ b/tests/lean/revert.lean.expected.out @@ -1,6 +1,6 @@ ?m_1 ?m_1 h1 h2 -revert.lean:69:9: error: invalid type ascription, term has type +revert.lean:69:2: error: invalid type ascription, term has type b = b but is expected to have type ?m_1 b = b