diff options
author | Nadrieril | 2019-03-07 00:44:58 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-07 00:44:58 +0100 |
commit | fb195ece2f2773d2a1fc004ff98f9b77a90cb9cc (patch) | |
tree | 6a17ce4f53870a1cd9426367615bb8742d597378 /dhall_parser/src | |
parent | 8489a9f3922ab17709f28adddda851dfae2c02e5 (diff) |
Use upstream pest
Diffstat (limited to '')
-rw-r--r-- | dhall_parser/src/dhall.pest.visibility | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility index f9c9d0b..5dcaa19 100644 --- a/dhall_parser/src/dhall.pest.visibility +++ b/dhall_parser/src/dhall.pest.visibility @@ -8,6 +8,7 @@ end_of_line # line_comment # whitespace_chunk # whitespace +# whitespace_ # nonempty_whitespace # ALPHA # DIGIT |