GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-04 13:54:09 +03:00
Code Issues Projects Releases Wiki Activity

Update output for regression test 086.

Browse Source 
(cf. revision 0ee396d434)
This commit is contained in:
Brian Huffman 2014-07-21 16:13:56 -07:00
parent ffebd5c330
commit c8b3b8c134
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/issue086.icry.stdout
View File

@ -1,2 +1,2 @@
Loading module Cryptol
&& : {a} a -> a -> a
(&&) : {a} a -> a -> a