Format with fourmolu

Author: github-actions

kore/test/Test/Kore/Rewrite/RewriteStep.hs

@@ -26,6 +26,9 @@ import Kore.Attribute.Pattern.FreeVariables qualified as FreeVariables
 import Kore.Attribute.SourceLocation (
     SourceLocation,
  )
+import Kore.Attribute.UniqueId (
+    UniqueId,
+ )
 import Kore.Internal.Conditional qualified as Conditional
 import Kore.Internal.MultiAnd qualified as MultiAnd
 import Kore.Internal.MultiOr qualified as MultiOr
@@ -37,9 +40,6 @@ import Kore.Internal.Predicate as Predicate (
     makeNotPredicate,
     makeTruePredicate,
  )
-import Kore.Attribute.UniqueId (
-    UniqueId,
- )
 import Kore.Internal.Predicate qualified as Predicate
 import Kore.Internal.SideCondition qualified as SideCondition
 import Kore.Internal.Substitution qualified as Substitution