From 71ba3270edbe2b39b0ec282964554853caa0d8ab Mon Sep 17 00:00:00 2001 From: github-actions Date: Sun, 7 Jul 2024 14:34:43 +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 723d58bca87..63c44789ce7 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 }