diff --git a/tests/lean/run/macro.lean b/tests/lean/run/macro.lean
index c6745d8402..58610b5666 100644
--- a/tests/lean/run/macro.lean
+++ b/tests/lean/run/macro.lean
@@ -1,11 +1,11 @@
+new_frontend
+
 abbrev Set (α : Type) := α → Prop
 axiom setOf {α : Type} : (α → Prop) → Set α
 axiom mem {α : Type} : α → Set α → Prop
 axiom univ {α : Type} : Set α
 axiom Union {α : Type} : Set (Set α) → Set α
 
-new_frontend
-
 syntax term " ∈ ":100 term:99 : term
 
 macro_rules