hlint

Author: geo2a

booster/tools/booster/Proxy.hs

@@ -103,14 +103,12 @@ respondEither cfg@ProxyConfig{statsVar, boosterState} booster kore req = case re
                             fromMaybe (error $ "Module " <> show m <> " not found") $
                                 Map.lookup m bState.definitions
                     handleExecute logSettings def start execReq
-    Implies impliesReq -> do
-        koreResult <-
-            loggedKore
-                ImpliesM
-                ( Implies
-                    impliesReq
-                )
-        pure koreResult
+    Implies impliesReq ->
+        loggedKore
+            ImpliesM
+            ( Implies
+                impliesReq
+            )
     Simplify simplifyReq ->
         liftIO (getTime Monotonic) >>= handleSimplify simplifyReq . Just
     AddModule _ -> do