Allow pipe tables with header but no body.

Closes #2017.
2026-09-01 15:38:09 +08:00 · 2015-03-23 20:26:56 -07:00
parent c302bdcdbe
commit 75a2a7ba69
1 changed files with 1 additions and 1 deletions
@@ -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')