Format with fourmolu

github-actions · github-actions · commit f0a8d831f5da · 2024-05-29T08:34:03.000Z
diff --git a/booster/library/Booster/SMT/Interface.hs b/booster/library/Booster/SMT/Interface.hs
@@ -62,7 +62,6 @@ throwUnknown reason premises preds = throw $ SMTSolverUnknown reason premises pr
 smtTranslateError :: Text -> a
 smtTranslateError = throw . SMTTranslationError
 
-
 {- | Start and initialise an SMT solver instance for use in rewriting:
      - translate the sort declarations from @KoreDefiniton@ to SMT
      - start the solver process
