diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-10-29 12:58:41 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-29 12:58:41 -0700 |
| commit | b18dbfe7920570c8234d58b7c9833ee643b47c4f (patch) | |
| tree | 920faba171850c48b70399d0a3ef67560b367bb0 | |
| parent | 8e5e8746d8f114d81b38f8a5d4ac5322937cb5a5 (diff) | |
| download | pandoc-b18dbfe7920570c8234d58b7c9833ee643b47c4f.tar.gz | |
Use uncurry.
| -rw-r--r-- | src/Text/Pandoc/App.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/App.hs b/src/Text/Pandoc/App.hs index a80c6ac44..f0e953d53 100644 --- a/src/Text/Pandoc/App.hs +++ b/src/Text/Pandoc/App.hs @@ -493,7 +493,7 @@ convertWithOpts opts = do report $ Deprecated "markdown_github" "Use gfm instead." setResourcePath (optResourcePath opts) - mapM_ (\(n,v) -> setRequestHeader n v) (optRequestHeaders opts) + mapM_ (uncurry setRequestHeader) (optRequestHeaders opts) doc <- sourceToDoc sources >>= ( (if isJust (optExtractMedia opts) |