From 0b9219fd863d810cd17d60cb5a7cb8218b60cbde Mon Sep 17 00:00:00 2001 From: jalex-stark Date: Wed, 3 Jun 2020 19:00:35 -0400 Subject: [PATCH] added expected output for test --- tests/lean/assumption.lean.expected.out | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/lean/assumption.lean.expected.out b/tests/lean/assumption.lean.expected.out index 026b5b5869..85f42b2a3d 100644 --- 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} \ No newline at end of file