update: tidy up

cstml · Sep 2, 2021 · 247c5ba · 247c5ba
1 parent c46ca5e
commit 247c5ba
Showing 1 changed file with 7 additions and 7 deletions.
diff --git 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')