Warning police

GaloisInc · May 18, 2021 · f0ba67a · f0ba67a
1 parent 08c5995
commit f0ba67a
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 5 deletions.
diff --git a/src/SAWScript/AutoMatch/Cryptol.hs b/src/SAWScript/AutoMatch/Cryptol.hs
@@ -16,8 +16,6 @@ import Data.List hiding (sort)
 import Data.Maybe
 import Data.Ord
 
-import Verifier.SAW.CryptolEnv (meSolverConfig)
-
 import Cryptol.Eval (EvalOpts(..))
 import qualified Cryptol.ModuleSystem as M
 import Cryptol.ModuleSystem.Name

diff --git a/src/SAWScript/Builtins.hs b/src/SAWScript/Builtins.hs
@@ -125,8 +125,6 @@ import qualified SAWScript.Prover.Exporter as Prover
 import qualified SAWScript.Prover.MRSolver as Prover
 import SAWScript.VerificationSummary
 
-import Verifier.SAW.CryptolEnv( meSolverConfig )
-
 showPrim :: SV.Value -> TopLevel String
 showPrim v = do
   opts <- fmap rwPPOpts getTopLevelRW

diff --git a/src/SAWScript/Interpreter.hs b/src/SAWScript/Interpreter.hs
@@ -89,7 +89,6 @@ import           SAWScript.Crucible.LLVM.Skeleton.Builtins
 import qualified SAWScript.Crucible.LLVM.MethodSpecIR as CIR
 
 -- Cryptol
-import Verifier.SAW.CryptolEnv (meSolverConfig)
 import qualified Cryptol.Eval as V (PPOpts(..))
 import qualified Cryptol.Backend.Monad as V (runEval)
 import qualified Cryptol.Eval.Value as V (defaultPPOpts, ppValue)