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 test.

Browse Source
This commit is contained in:
Iavor Diatchki 2017-10-30 14:24:47 -07:00
parent 2bf932045d
commit c5e0540a0f
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/modsys/T7.icry.stdout
View File

@ -1,4 +1,4 @@
Loading module Cryptol
Loading module T7::Main
The current module, T7::Main, is parameterized, and does not support evaluation.
Expression depends on a module parameter: T7::Main::x