Format with fourmolu

runtimeverification · Jul 7, 2024 · 71ba327 · 71ba327
1 parent 391b47c
commit 71ba327
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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
                     }