diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:10:43 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-13 23:39:30 +0200 |
| commit | 524566646723ced878d49c903358e7b5f25442b9 (patch) | |
| tree | 41ab0cef73298a2fa6f7b0d6cdca429a27e471a2 | |
| parent | 9db17c50429d6dda5ef98a638e1228e877a80062 (diff) | |
Remove `ITtildehsh` token
| -rw-r--r-- | haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs index 7abb01a3..8f77b8f5 100644 --- a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs +++ b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs @@ -280,7 +280,6 @@ classify tok = ITrarrow {} -> TkGlyph ITat -> TkGlyph ITtilde -> TkGlyph - ITtildehsh -> TkGlyph ITdarrow {} -> TkGlyph ITminus -> TkGlyph ITbang -> TkGlyph |