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

Fix capitalization of MiniLock in test

Browse Source
This commit is contained in:
Aaron Tomb 2018-07-20 10:04:11 -07:00
parent 73a8c19b58
commit 0b46db36ce
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/allexamples.icry
View File

@ -52,7 +52,7 @@
:l param_modules/GCM_AES_Tests.cry
:l param_modules/SHA.cry
:l param_modules/SHA256.cry
:cd Minilock/prim
:cd MiniLock/prim
:l Base58.cry
:l Base64.cry
:l Blake2s.cry