x86-symbolic: Format imports

GaloisInc · Jan 24, 2024 · c6c48b6 · c6c48b6
1 parent 8b90009
commit c6c48b6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
@@ -35,8 +35,9 @@ import           Control.Exception (Exception, throw)
 import           Control.Lens ((^.))
 import           Control.Monad
 import           Data.Bits hiding (xor)
-import           Data.Kind ( Type )
 import qualified Data.BitVector.Sized as BV
+import qualified Data.Functor.Identity as I
+import           Data.Kind ( Type )
 import qualified Data.Parameterized.Context as Ctx
 import           Data.Parameterized.Context.Unsafe (empty,extend)
 import           Data.Parameterized.NatRepr
@@ -84,7 +85,6 @@ import qualified Data.Macaw.X86 as M
 import qualified Data.Macaw.X86.ArchTypes as M
 
 import           Prelude
-import qualified Data.Functor.Identity as I
 
 
 type S p sym rtp bs r ctx =