GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-24 06:52:44 +03:00
Code Issues Projects Releases Wiki Activity

Change to refer to duplicate ticket.

Browse Source
This commit is contained in:
Iavor S. Diatchki 2014-10-01 14:17:43 -07:00
parent 65c9f1f2bf
commit 928f11c601
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/issues/issue083.icry.fails
View File

@ -1 +1 @@
Known issue, see ticket #115.
Known issue, see ticket #16.