From bf730d992cbb073b70251dff991141ade6ec3e1b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 3 Aug 2016 14:17:29 -0700
Subject: [PATCH] chore(tests/lean): fix test output

---
 tests/lean/ftree.lean.expected.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/ftree.lean.expected.out b/tests/lean/ftree.lean.expected.out
index f7129a5099..a3fc5d88b5 100644
--- a/tests/lean/ftree.lean.expected.out
+++ b/tests/lean/ftree.lean.expected.out
@@ -1,2 +1,2 @@
 ftree.{l_1 l_2} : Type.{l_1} → Type.{l_2} → Type.{max 1 l_1 l_2}
-ftree.{l_1 l_2} : Type.{l_2} → Type.{l_1} → Type.{max 1 l_2 l_1}
+ftree.{l_1 l_2} : Type.{l_1} → Type.{l_2} → Type.{max 1 l_1 l_2}