Format with stylish-haskell

ttuegel · ttuegel · commit 9add9cd40fc6 · 2021-01-13T05:42:48.000-06:00
diff --git a/kore/src/Kore/Builtin/List.hs b/kore/src/Kore/Builtin/List.hs
@@ -90,7 +90,6 @@ import Kore.Internal.TermLike
     , Concrete
     , pattern ElemVar_
     , pattern InternalList_
-    , pattern InternalList_
     , Sort
     , TermLike
     , pattern Var_
diff --git a/kore/src/Kore/Step/Simplification/Condition.hs b/kore/src/Kore/Step/Simplification/Condition.hs
@@ -70,14 +70,12 @@ import Kore.Internal.TermLike
     , pattern Forall_
     , pattern Inj_
     , pattern InternalBool_
-    , pattern InternalBool_
     , pattern InternalBytes_
     , pattern InternalInt_
     , pattern InternalList_
     , pattern InternalMap_
     , pattern InternalSet_
     , pattern InternalString_
-    , pattern InternalString_
     , pattern Mu_
     , pattern Not_
     , pattern Nu_
