From f52be8c96fc6bdbfae9cefe5d92ef40452f5d3e6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 28 Aug 2016 08:34:39 -0700 Subject: [PATCH] fix(tests/lean/bad_inaccessible): expected output --- tests/lean/bad_inaccessible.lean.expected.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lean/bad_inaccessible.lean.expected.out b/tests/lean/bad_inaccessible.lean.expected.out index 4494d7ed57..c1391f5dc3 100644 --- a/tests/lean/bad_inaccessible.lean.expected.out +++ b/tests/lean/bad_inaccessible.lean.expected.out @@ -4,4 +4,4 @@ bad_inaccessible.lean:7:7: error: invalid use of inaccessible term, the provided but is expected to be a bad_inaccessible.lean:15:3: error: invalid use of inaccessible term, it is not completely fixed by other arguments - ?m_1 + 1 + .?m_1 + 1