Cut some unused imports

mmhelloworld · Sep 4, 2021 · 5126600 · 5126600
1 parent 7d6042a
commit 5126600
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/Core/Reflect.idr b/src/Core/Reflect.idr
@@ -1,6 +1,5 @@
 module Core.Reflect
 
-import Algebra.Semiring
 import Data.List1
 
 import Core.Context

diff --git a/src/Idris/Pretty.idr b/src/Idris/Pretty.idr
@@ -13,7 +13,6 @@ import public Idris.Pretty.Render
 import public Libraries.Text.PrettyPrint.Prettyprinter
 import public Libraries.Text.PrettyPrint.Prettyprinter.Util
 
-import Algebra
 import Idris.REPL.Opts
 import Idris.Syntax