Format with fourmolu

Author: github-actions

booster/library/Booster/Log.hs

@@ -14,7 +14,6 @@ import Booster.Pattern.Base (
     TermAttributes (hash),
     pattern AndTerm,
  )
-import Kore.Util (showHashHex)
 import Booster.Prettyprinter (renderOneLineText)
 import Booster.Syntax.Json (KorePattern, prettyPattern)
 import Control.Monad.IO.Class
@@ -43,6 +42,7 @@ import Data.Text (Text, pack)
 import Data.Text.Lazy qualified as LazyText
 import GHC.Exts (IsString (..))
 import GHC.TypeLits (KnownSymbol, symbolVal)
+import Kore.Util (showHashHex)
 import Prettyprinter (Pretty, pretty)
 
 newtype Logger a = Logger (a -> IO ())

kore/src/Kore/Log/DebugAttemptedRewriteRules.hs

@@ -29,8 +29,8 @@ import Kore.Internal.Variable (
  )
 import Kore.Rewrite.RewritingVariable
 import Kore.Unparser
-import Log
 import Kore.Util (showHashHex)
+import Log
 import Prelude.Kore
 import Pretty (
     Pretty (..),