Format with fourmolu

Author: github-actions

booster/tools/booster/Proxy.hs

@@ -104,7 +104,7 @@ respondEither cfg@ProxyConfig{statsVar, boosterState} booster kore req = case re
                                 Map.lookup m bState.definitions
                     handleExecute logSettings def start execReq
     Implies impliesReq -> do
-            loggedKore ImpliesM (Implies impliesReq)
+        loggedKore ImpliesM (Implies impliesReq)
     Simplify simplifyReq ->
         liftIO (getTime Monotonic) >>= handleSimplify simplifyReq . Just
     AddModule _ -> do