diff --git a/tests/lean/traceTacticSteps.lean.expected.out b/tests/lean/traceTacticSteps.lean.expected.out
index a918e39a43..cd52c46bd9 100644
--- a/tests/lean/traceTacticSteps.lean.expected.out
+++ b/tests/lean/traceTacticSteps.lean.expected.out
@@ -6,13 +6,13 @@
       skip
       trivial
   [Elab.step.result] ?m
+[Elab.step] 
+      skip
+      trivial
+[Elab.step] 
+      skip
+      trivial
 [Elab.step] skip
-[Elab.step] 
-      skip
-      trivial
-[Elab.step] 
-      skip
-      trivial
 [Elab.step] trivial
 [Elab.step] (apply And.intro✝) <;> trivial
 [Elab.step] focus