added expected output for test

leanprover-community · Jun 3, 2020 · 0b9219f · 0b9219f
1 parent 6e4f0f3
commit 0b9219f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/lean/assumption.lean.expected.out b/tests/lean/assumption.lean.expected.out
@@ -1,3 +1,3 @@
-{"msgs":[{"caption":"trace output","file_name":"assumption.lean","pos_col":2,"pos_line":3,"severity":"information","text":"Try this: h1\n"}],"response":"all_messages"}
-{"msgs":[{"caption":"trace output","file_name":"assumption.lean","pos_col":2,"pos_line":3,"severity":"information","text":""Try this: @h1\n"},"response":"all_messages"]
-{"message":"file invalidated","response":"ok","seq_num":0}
+-{"msgs":[{"caption":"trace output","file_name":"assumption.lean","pos_col":2,"pos_line":3,"severity":"information","text":"Try this: h1\n"}],"response":"all_messages"}
+-{"msgs":[{"caption":"trace output","file_name":"assumption.lean","pos_col":2,"pos_line":3,"severity":"information","text":""Try this: @h1\n"},"response":"all_messages"]
+-{"message":"file invalidated","response":"ok","seq_num":0}