diff --git a/tests/lean/emptyc.lean.expected.out b/tests/lean/emptyc.lean.expected.out
index c4bbb21125..bf04222f96 100644
--- a/tests/lean/emptyc.lean.expected.out
+++ b/tests/lean/emptyc.lean.expected.out
@@ -1 +1,4 @@
-emptyc.lean:19:0: error: ambiguous, possible interpretations [{x := 0}, ∅]
+emptyc.lean:19:0: error: ambiguous, possible interpretations 
+  {x := 0}
+  
+  ∅