From 9d065d95c83e0a88465a746ce4ed6c5dc58caecb Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Sun, 7 Jul 2024 13:34:15 +0000
Subject: [PATCH] Format with fourmolu

---
 booster/library/Booster/JsonRpc.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/booster/library/Booster/JsonRpc.hs b/booster/library/Booster/JsonRpc.hs
index 723d58bca8..63c44789ce 100644
--- a/booster/library/Booster/JsonRpc.hs
+++ b/booster/library/Booster/JsonRpc.hs
@@ -606,10 +606,10 @@ execResponse mbDuration req (d, traces, rr) originalSubstitution unsupported = c
                     , logs
                     , state = toExecState p originalSubstitution unsupported Nothing Nothing
                     , nextStates =
-                        Just $
-                            map
-                                (\(_, muid, p', mrulePred) -> toExecState p' originalSubstitution unsupported (Just muid) mrulePred) $
-                                toList nexts
+                        Just
+                            $ map
+                                (\(_, muid, p', mrulePred) -> toExecState p' originalSubstitution unsupported (Just muid) mrulePred)
+                            $ toList nexts
                     , rule = Nothing
                     , unknownPredicate = Nothing
                     }