From 247c5ba18a7618d398e669d0479ac537bf735593 Mon Sep 17 00:00:00 2001
From: cstml <cstmlcodes@gmail.com>
Date: Thu, 2 Sep 2021 13:05:40 +0100
Subject: [PATCH] update: tidy up

---
 src/FMCt.hs | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/FMCt.hs b/src/FMCt.hs
index a9c0e08..e20aca6 100644
--- a/src/FMCt.hs
+++ b/src/FMCt.hs
@@ -1,11 +1,11 @@
 -- | Module is made just for Re-Exporting basic functions.
 module FMCt (module X, module XX) where
 
-import FMCt.Aux.Pretty as X
-import FMCt.Aux.ToTex as X
-import FMCt.Evaluator as X (eval, eval1, eval1', evalToString)
-import FMCt.Examples as X (examplesList)
-import FMCt.Parsing as X (parseFMC, parseFMCtoString, parseType)
-import FMCt.Pretty as X (printOutput, printStack)
-import FMCt.TypeChecker as X (derive, typeCheck, typeCheckP)
+import FMCt.Aux.Pretty   as X
+import FMCt.Aux.ToTex    as X
+import FMCt.Evaluator    as X (eval, eval1, eval1', evalToString)
+import FMCt.Examples     as X (examplesList)
+import FMCt.Parsing      as X (parseFMC, parseFMCtoString, parseType)
+import FMCt.Pretty       as X (printOutput, printStack)
+import FMCt.TypeChecker  as X (derive, typeCheck, typeCheckP)
 import FMCt.TypeChecker2 as XX (derive2, getTermType, pShow')