GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-23 03:48:46 +03:00
Code Issues Projects Releases Wiki Activity

Fix test output for issues/allexamples

Browse Source
This commit is contained in:
Aaron Tomb 2019-11-01 12:28:13 -07:00
parent b3902f8d5e
commit 82d4a1b81a
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -60,7 +60,6 @@ Loading module Main
Loading module Cryptol
Loading module Cipher
Loading module CAST5
[warning] at contrib/CAST5.cry:101:21--101:22 Unused name: a
Loading module Cryptol
Loading module Main
Loading module Cryptol