diff options
| author | Brian Wignall <BrianWignall@gmail.com> | 2019-11-11 14:29:01 -0500 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-11-11 11:29:01 -0800 |
| commit | 78399ccf90faf34c915f4ca76c57dd4024e0b91e (patch) | |
| tree | 39a1f3facccaa1cb84f71e4a3358889aa7e82120 /src/Text/Pandoc/Parsing.hs | |
| parent | 741b1f7fb4f974a0fc2a9abe410007b27078e129 (diff) | |
| download | pandoc-78399ccf90faf34c915f4ca76c57dd4024e0b91e.tar.gz | |
Fix typos (#5896)
Diffstat (limited to 'src/Text/Pandoc/Parsing.hs')
| -rw-r--r-- | src/Text/Pandoc/Parsing.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Parsing.hs b/src/Text/Pandoc/Parsing.hs index cffe846a5..68e900004 100644 --- a/src/Text/Pandoc/Parsing.hs +++ b/src/Text/Pandoc/Parsing.hs @@ -1250,7 +1250,7 @@ type SubstTable = M.Map Key Inlines -- | Add header to the list of headers in state, together -- with its associated identifier. If the identifier is null --- and the auto_identifers extension is set, generate a new +-- and the auto_identifiers extension is set, generate a new -- unique identifier, and update the list of identifiers -- in state. Issue a warning if an explicit identifier -- is encountered that duplicates an earlier identifier |