squash a warning

GaloisInc · Dec 7, 2020 · bdfefd5 · bdfefd5
1 parent cec83cc
commit bdfefd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Cryptol/Symbolic/SBV.hs b/src/Cryptol/Symbolic/SBV.hs
@@ -425,7 +425,7 @@ processResults ProverCommand{..} ts results =
 --   solver that completes the given query (if any) along with the result
 --   of executing the query.
 satProve :: SBVProverConfig -> ProverCommand -> M.ModuleCmd (Maybe String, ProverResult)
-satProve proverCfg pc@ProverCommand {..} =
+satProve proverCfg pc =
   protectStack proverError $ \(evo, byteReader, modEnv) ->
 
   M.runModuleM (evo, byteReader, modEnv) $ do