Superfluous import removed

51c03954 · Michael Hanus · 866efa3e · 51c03954
Commit 51c03954 authored Nov 20, 2017 by Michael Hanus
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

src/OptParse.curry src/OptParse.curry +0 -1

No files found.
--- a/src/OptParse.curry
+++ b/src/OptParse.curry
@@ -29,7 +29,6 @@ import Debug
 import Char (isAscii)
 import List (intercalate)
 import qualified DetParse as P
-import Pretty
 import qualified Boxes as B

 --- A command line argument. Used to represent a parsed command line.