restyle

swarm-game · Feb 18, 2023 · 6df71f2 · 6df71f2
1 parent e5e2aef
commit 6df71f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/swarm-user-interface/Swarm/TUI/Model/StateUpdate.hs b/src/swarm-user-interface/Swarm/TUI/Model/StateUpdate.hs
@@ -37,10 +37,10 @@ import Swarm.Game.ScenarioInfo (
   _SISingle,
  )
 import Swarm.Game.State
+import Swarm.Game.Util.Failure (prettyFailure)
 import Swarm.TUI.Attr (swarmAttrMap)
 import Swarm.TUI.Inventory.Sorting
 import Swarm.TUI.Model
-import Swarm.Game.Util.Failure (prettyFailure)
 import Swarm.TUI.Model.Goal (emptyGoalDisplay)
 import Swarm.TUI.Model.Repl
 import Swarm.TUI.Model.UI

diff --git a/src/swarm-user-interface/Swarm/TUI/Model/UI.hs b/src/swarm-user-interface/Swarm/TUI/Model/UI.hs
@@ -63,10 +63,10 @@ import Swarm.Game.Achievement.Persistence
 import Swarm.Game.ScenarioInfo (
   ScenarioInfoPair,
  )
+import Swarm.Game.Util.Failure (SystemFailure)
 import Swarm.Game.World qualified as W
 import Swarm.TUI.Attr (swarmAttrMap)
 import Swarm.TUI.Inventory.Sorting
-import Swarm.Game.Util.Failure (SystemFailure)
 import Swarm.TUI.Model.Goal
 import Swarm.TUI.Model.Menu
 import Swarm.TUI.Model.Name