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 | |
parent | 8489a9f3922ab17709f28adddda851dfae2c02e5 (diff) |
Use upstream pest
Diffstat (limited to '')
-rw-r--r-- | dhall_parser/Cargo.toml | 2 | ||||
-rw-r--r-- | dhall_parser/src/dhall.pest.visibility | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/dhall_parser/Cargo.toml b/dhall_parser/Cargo.toml index be76fa0..a73d445 100644 --- a/dhall_parser/Cargo.toml +++ b/dhall_parser/Cargo.toml @@ -14,4 +14,4 @@ abnf_to_pest = { path = "../abnf_to_pest" } [dependencies] pest = { git = "https://github.com/pest-parser/pest" } -pest_derive = { version = "2.1", path = "../../pest/derive" } +pest_derive = "2.1" 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 |