From 523fe563c926f690d240285515c33b7d246ad38a Mon Sep 17 00:00:00 2001 From: Alex Mason Date: Fri, 2 Sep 2016 15:20:27 +1000 Subject: [PATCH] Remove toProxy from API.Times in API --- servant/src/Servant/API.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/servant/src/Servant/API.hs b/servant/src/Servant/API.hs index 92010db7..1244cb4e 100644 --- a/servant/src/Servant/API.hs +++ b/servant/src/Servant/API.hs @@ -83,7 +83,7 @@ import Servant.API.ResponseHeaders (AddHeader (addHeader), HList (..), Headers (..), getHeadersHList, getResponse) import Servant.API.Sub ((:>)) -import Servant.API.Times (FTime(..), toProxy, getFormat, renderTime, parseTime) +import Servant.API.Times (FTime(..), getFormat, renderTime, parseTime) import Servant.API.Vault (Vault) import Servant.API.Verbs (PostCreated, Delete, DeleteAccepted, DeleteNoContent,