GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-19 01:49:11 +03:00
Code Issues Projects Releases Wiki Activity

Fixup test suite

Browse Source
This commit is contained in:
Rob Dockins 2020-06-22 12:21:29 -07:00
parent c2d053e940
commit ac3676ddde
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/mono-binds/test05.icry.stdout
View File

@ -50,5 +50,5 @@ Loading module test05
test05.cry:9:3--9:6
[error] at test05.cry:14:11--14:21:
Ambiguous size type: type argument 'front' of '(#)'
Ambiguous numeric type: type argument 'front' of '(#)'
Must be at least: 0