GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-28 10:23:42 +03:00
Code Issues Projects Releases Wiki Activity

Update test output renamer errors

Browse Source
This commit is contained in:
Trevor Elliott 2016-05-27 18:49:56 -07:00
parent a490600df5
commit 7976026789
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/renamer/comp02.icry.stdout
View File

@ -6,7 +6,3 @@ Loading module comp02
Overlapping symbols defined:
(at ./comp02.cry:4:12--4:13, a)
(at ./comp02.cry:5:12--5:13, a)
[error] at ./comp02.cry:4:8--4:9
Multiple definitions for symbol: a
(at ./comp02.cry:4:12--4:13, a)
(at ./comp02.cry:5:12--5:13, a)