diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-03-23 20:26:56 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-03-23 20:26:56 -0700 |
| commit | 75a2a7ba696af883cc38f1817c93de660c8f1d67 (patch) | |
| tree | f9d1006d7c45b04001048ffa98eabaf8cf5bbc9d /src/Text/Pandoc/Readers/Markdown.hs | |
| parent | c302bdcdbe97b38721015fe82403b2a8f488a702 (diff) | |
Allow pipe tables with header but no body.
Closes #2017.
Diffstat (limited to 'src/Text/Pandoc/Readers/Markdown.hs')
| -rw-r--r-- | src/Text/Pandoc/Readers/Markdown.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Readers/Markdown.hs b/src/Text/Pandoc/Readers/Markdown.hs index 638c8c9cf..55ec256f8 100644 --- a/src/Text/Pandoc/Readers/Markdown.hs +++ b/src/Text/Pandoc/Readers/Markdown.hs @@ -1292,7 +1292,7 @@ pipeBreak = try $ do pipeTable :: MarkdownParser ([Alignment], [Double], [Blocks], [[Blocks]]) pipeTable = try $ do (heads,aligns) <- (,) <$> pipeTableRow <*> pipeBreak - lines' <- many1 pipeTableRow + lines' <- many pipeTableRow let widths = replicate (length aligns) 0.0 return (aligns, widths, heads, lines') |