GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-07 08:19:12 +03:00
Code Issues Projects Releases Wiki Activity

Warning removal

Browse Source
This commit is contained in:
Trevor Elliott 2015-08-14 17:43:02 -07:00
parent 9092492d6a
commit 5cf2b9e47e
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/Symbolic/Prims.hs
View File

@ -18,7 +18,7 @@ import Data.Ord (comparing)
import Cryptol.Eval.Value (BitWord(..))
import Cryptol.Prims.Eval (binary, unary, tlamN)
import Cryptol.Symbolic.Value
import Cryptol.TypeCheck.AST (QName(..),Name(..),Decl(..),mkModName,mkName)
import Cryptol.TypeCheck.AST (QName(..),Name(..),Decl(..),mkModName)
import Cryptol.TypeCheck.Solver.InfNat(Nat'(..), nMul)
import Cryptol.Utils.Panic
import Cryptol.ModuleSystem.Name (Ident, pack)