diff --git a/tests/lean/traceTacticSteps.lean.expected.out b/tests/lean/traceTacticSteps.lean.expected.out
index 3182ab4751..a918e39a43 100644
--- a/tests/lean/traceTacticSteps.lean.expected.out
+++ b/tests/lean/traceTacticSteps.lean.expected.out
@@ -18,17 +18,14 @@
 [Elab.step] focus
       apply And.intro✝
       with_annotate_state"<;>" skip
-      all_goals
-        trivial
+      all_goals trivial
 [Elab.step] 
       apply And.intro✝
       with_annotate_state"<;>" skip
-      all_goals
-        trivial
+      all_goals trivial
 [Elab.step] 
       apply And.intro✝
       with_annotate_state"<;>" skip
-      all_goals
-        trivial
+      all_goals trivial
 [Elab.step] apply And.intro✝
 [Elab.step] apply True.intro✝