From 172887fb577526de92b0653b5d3153114f8ce02a Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 30 Aug 2024 19:23:56 +0200
Subject: Style

---
 src/AST.hs        |  1 -
 src/AST/Weaken.hs | 10 +++++-----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/src/AST.hs b/src/AST.hs
index 90baaf0..d9acd99 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -16,7 +16,6 @@
 module AST (module AST, module AST.Weaken) where
 
 import Data.Functor.Const
-
 import Data.Kind (Type)
 import Data.Int
 
diff --git a/src/AST/Weaken.hs b/src/AST/Weaken.hs
index d992404..432b687 100644
--- a/src/AST/Weaken.hs
+++ b/src/AST/Weaken.hs
@@ -1,13 +1,13 @@
-{-# LANGUAGE TypeOperators #-}
-{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE EmptyCase #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
-{-# LANGUAGE EmptyCase #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 
 -- The reason why this is a separate module with "little" in it:
 {-# LANGUAGE AllowAmbiguousTypes #-}
-- 
cgit v1.2.3-70-g09d2