fml

github-actions · jberthold · commit c90d2cc44c69 · 2024-05-02T18:23:55.000+10:00
diff --git a/booster/tools/booster/Server.hs b/booster/tools/booster/Server.hs
@@ -94,7 +94,7 @@ import Proxy qualified
 import SMT qualified as KoreSMT
 import Stats qualified
 
-envName:: String
+envName :: String
 envName = "KORE_RPC_OPTS" -- aligned with legacy kore-rpc
 
 main :: IO ()
