From dd8fca4cfecb50bf4048cbdd47b7dd019225a6c2 Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Fri, 16 Jul 2021 09:32:27 -0700 Subject: [PATCH] Update cryptol-remote-api --- cryptol-remote-api/src/CryptolServer/Sat.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cryptol-remote-api/src/CryptolServer/Sat.hs b/cryptol-remote-api/src/CryptolServer/Sat.hs index 752a08533..23ec70949 100644 --- 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