prelude/strings.v · 44a220a9b4eeace88286b1aac6270ffb313d69b4 · Marianna Rapoport / iris-coq · GitLab

Find file Blame History Permalink

Also treat 009-013 as whitespace in the intro patterns parsers. · 44a220a9
Robbert Krebbers authored Nov 19, 2016
```
That range includes tabs and new lines.

Thanks Morten for spotting this problem.
```
44a220a9