Update cryptol-remote-api

GaloisInc · Jul 20, 2021 · dd8fca4 · dd8fca4
1 parent 4dc7a6c
commit dd8fca4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cryptol-remote-api/src/CryptolServer/Sat.hs b/cryptol-remote-api/src/CryptolServer/Sat.hs
@@ -118,10 +118,10 @@ offlineProveSat proverName cmd hConsing = do
         Left msg -> do
           raise $ proverError $ "error setting up " ++ proverName ++ ": " ++ msg
         Right smtlib -> pure $ OfflineSMTQuery $ T.pack smtlib
-    Right w4Cfg -> do
+    Right _w4Cfg -> do
       smtlibRef <- liftIO $ newIORef ("" :: Text)
       result <- liftModuleCmd $
-        W4.satProveOffline w4Cfg hConsing False cmd $ \f -> do
+        W4.satProveOffline hConsing False cmd $ \f -> do
           withRWTempFile "smtOutput.tmp" $ \h -> do
             f h
             hSeek h AbsoluteSeek 0