From 96abac7ef2ebbc316a12f096dcd135416f7d3a72 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Vion?= <vion.remi@gmail.com>
Date: Wed, 13 Apr 2016 15:41:28 +0200
Subject: [PATCH] remove duplicated HeaderArg export

it is also 2 lines below
---
 servant-js/src/Servant/JS/Internal.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/servant-js/src/Servant/JS/Internal.hs b/servant-js/src/Servant/JS/Internal.hs
index 3c817e1e..d123ef9a 100644
--- a/servant-js/src/Servant/JS/Internal.hs
+++ b/servant-js/src/Servant/JS/Internal.hs
@@ -23,7 +23,6 @@ module Servant.JS.Internal
   , HasForeignType(..)
   , GenerateList(..)
   , NoTypes
-  , HeaderArg
   , ArgType(..)
   , HeaderArg(..)
   , QueryArg(..)