Format with stylish-haskell

ttuegel · actions-user · commit 2f16055719a5 · 2020-12-10T18:07:39.000Z
diff --git a/kore/src/Kore/Step/Simplification/Condition.hs b/kore/src/Kore/Step/Simplification/Condition.hs
@@ -62,7 +62,9 @@ import Kore.Internal.Symbol
     , isFunction
     )
 import Kore.Internal.TermLike
-    ( pattern BuiltinString_, pattern BuiltinBool_, pattern App_
+    ( pattern App_
+    , pattern BuiltinBool_
+    , pattern BuiltinString_
     , pattern Builtin_
     , pattern Equals_
     , pattern Exists_
