From 51c03954c0c516b78ff5e2d10e7220e168ad6abc Mon Sep 17 00:00:00 2001
From: Michael Hanus <mh@informatik.uni-kiel.de>
Date: Mon, 20 Nov 2017 17:55:42 +0100
Subject: [PATCH] Superfluous import removed

---
 src/OptParse.curry | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/OptParse.curry b/src/OptParse.curry
index 745a901..05afb5f 100644
--- 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.
-- 
GitLab