Format with fourmolu

runtimeverification · Mar 22, 2024 · ddd394b · ddd394b
1 parent 0124524
commit ddd394b
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/library/Booster/JsonRpc.hs b/library/Booster/JsonRpc.hs
@@ -248,7 +248,8 @@ respond stateVar =
 
             result <- case internalised of
                 Left [] -> do
-                    Log.logErrorNS "booster"
+                    Log.logErrorNS
+                        "booster"
                         "Error internalising cterm."
                     Log.logOtherNS
                         "booster"
@@ -362,7 +363,8 @@ respond stateVar =
                             internaliseTermOrPredicate DisallowAlias CheckSubsorts Nothing def req.state.term
                 case internalised of
                     Left [] -> do
-                        Log.logErrorNS "booster"
+                        Log.logErrorNS
+                            "booster"
                             "Error internalising cterm."
                         Log.logOtherNS
                             "booster"