From 9b10181d9a51e7f3c0e3c8723af39011a5de7cc6 Mon Sep 17 00:00:00 2001
From: Matthias Fischmann <mf@zerobuzz.net>
Date: Tue, 6 Jan 2015 17:49:35 +0100
Subject: [PATCH] Remove unused imports.

---
 src/Servant/API/Header.hs | 2 --
 src/Servant/API/Sub.hs    | 1 -
 2 files changed, 3 deletions(-)

diff --git a/src/Servant/API/Header.hs b/src/Servant/API/Header.hs
index 5dc25e17..06344524 100644
--- a/src/Servant/API/Header.hs
+++ b/src/Servant/API/Header.hs
@@ -1,8 +1,6 @@
 {-# LANGUAGE PolyKinds #-}
 module Servant.API.Header where
 
-import GHC.TypeLits
-
 -- | Extract the given header's value as a value of type @a@.
 --
 -- Example:
diff --git a/src/Servant/API/Sub.hs b/src/Servant/API/Sub.hs
index d7bfc2ba..534cc0bd 100644
--- a/src/Servant/API/Sub.hs
+++ b/src/Servant/API/Sub.hs
@@ -3,7 +3,6 @@
 module Servant.API.Sub where
 
 import Data.Proxy
-import GHC.TypeLits
 
 -- | The contained API (second argument) can be found under @("/" ++ path)@
 -- (path being the first argument).