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}