stylish

Author: MirceaS

kore/src/Kore/Options.hs

@@ -12,7 +12,9 @@ module Kore.Options
     , parseKoreParserOptions
     ) where
 
-import Data.Text ( Text )
+import Data.Text
+    ( Text
+    )
 
 import Prelude.Kore
 

kore/test/Test/Kore/Options.hs

@@ -5,7 +5,9 @@ module Test.Kore.Options
 
 import Prelude.Kore
 
-import Data.Maybe ( fromJust )
+import Data.Maybe
+    ( fromJust
+    )
 
 import Test.Tasty
 import Test.Tasty.HUnit.Ext