diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-06-23 08:24:04 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-06-23 08:24:45 -0700 |
commit | ee782ccfecfc4acd5482de80847e9714911bdddd (patch) | |
tree | 55c3403095c130fdb970622edf13d3715e4ce3f4 /src/Text/Pandoc/Parsing.hs | |
parent | 97ad96437c66799533e50336fcee06071c130d9c (diff) | |
download | pandoc-ee782ccfecfc4acd5482de80847e9714911bdddd.tar.gz |
Markdown reader: Don't require blank line after grid table.
This fixes #6481, allowing grid tables to be enclosed
in fenced divs with no intervening blank lines.
Diffstat (limited to 'src/Text/Pandoc/Parsing.hs')
-rw-r--r-- | src/Text/Pandoc/Parsing.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Parsing.hs b/src/Text/Pandoc/Parsing.hs index f79d0fdfc..c6c80eee4 100644 --- a/src/Text/Pandoc/Parsing.hs +++ b/src/Text/Pandoc/Parsing.hs @@ -1092,8 +1092,8 @@ removeOneLeadingSpace xs = Just (c, _) -> c == ' ' -- | Parse footer for a grid table. -gridTableFooter :: Stream s m Char => ParserT s st m Text -gridTableFooter = blanklines +gridTableFooter :: Stream s m Char => ParserT s st m () +gridTableFooter = optional blanklines --- |