chore: fix test output

2020-09-13 13:21:58 -07:00 · 2020-09-13 13:21:58 -07:00 · 498d7886eb
commit 498d7886eb
parent 7b90f7d956
1 changed files with 4 additions and 1 deletions
--- 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}
+  
+  ∅