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

chore: fix test

Browse source
This commit is contained in:
Leonardo de Moura 2021-02-06 12:54:53 -08:00
parent c984e9be4b
commit 565f6a9372
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tests/lean/intModBug.lean.expected.out
View file

@ -1,8 +1,8 @@
Int.ofNat 10
Int.negSucc 9
10
9
-10
Int.ofNat 10000000000000000000000000000000000
Int.negSucc 9999999999999999999999999999999999
10000000000000000000000000000000000
9999999999999999999999999999999999
-10000000000000000000000000000000000