max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(tests/shell): fix test

Browse source
This commit is contained in:
Leonardo de Moura 2018-08-27 17:54:43 -07:00
parent 776c977742
commit 805e45bba5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/tests/shell/shell_test.expected.out
View file

@ -1,2 +1,2 @@
{"message":"file invalidated","response":"ok","seq_num":0}
{"record":{"full-id":"f","source":{"column":10,"line":1},"type":"Type"},"response":"ok","seq_num":1}
{"record":{"full-id":"f","type":"Type"},"response":"ok","seq_num":1}