diff options
| author | Joseph C. Sible <josephcsible@users.noreply.github.com> | 2020-05-05 11:46:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-05 08:46:35 -0700 |
| commit | 6fad52b05724d5b1e2b877c0f600389faa6e6ac0 (patch) | |
| tree | 106e693b451bd33f98915724dd6d6bb449df7aa5 /src | |
| parent | 761fcc8cae8f0702b36744628db8a5141f45c1f6 (diff) | |
| download | pandoc-6fad52b05724d5b1e2b877c0f600389faa6e6ac0.tar.gz | |
Avoid unnecessary guard (#6340)
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Readers/HTML.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Readers/HTML.hs b/src/Text/Pandoc/Readers/HTML.hs index a643ed41f..f85b24d3f 100644 --- a/src/Text/Pandoc/Readers/HTML.hs +++ b/src/Text/Pandoc/Readers/HTML.hs @@ -1161,7 +1161,7 @@ _ `closes` "meta" = True "object" `closes` "object" = True _ `closes` t | t `elem` ["option","style","script","textarea","title"] = True t `closes` "select" | t /= "option" = True -"thead" `closes` t | t `elem` ["colgroup"] = True +"thead" `closes` "colgroup" = True "tfoot" `closes` t | t `elem` ["thead","colgroup"] = True "tbody" `closes` t | t `elem` ["tbody","tfoot","thead","colgroup"] = True t `closes` t2 | |