GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-15 02:01:39 +03:00
Code Issues Projects Releases Wiki Activity

Typo

Browse Source
This commit is contained in:
Rob Dockins 2020-05-27 15:31:45 -07:00
parent e2f45ee5e4
commit 0bc02bcae0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/Eval/Concrete.hs
View File

@ -269,7 +269,7 @@ primTable = let sym = Concrete in
updatePrim sym updateBack_word updateBack)
-- Misc
, ("fromZ" , {-# SCC "Prelice::fromZ" #-}
, ("fromZ" , {-# SCC "Prelude::fromZ" #-}
fromZV sym)
, ("error" , {-# SCC "Prelude::error" #-}