GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-11 08:37:35 +03:00
Code Issues Projects Releases Wiki Activity

Fix test

Browse Source
This commit is contained in:
Iavor Diatchki 2023-03-28 13:55:07 -07:00
parent 4c269e8722
commit 70a1592de6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/issues/issue513.icry.stdout
View File

@ -18,6 +18,7 @@ Main::test =
| y <- Main::$mono]
Main::test
test : {a} [1 + a]
Main::test 8