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 /abnf_to_pest | |
parent | 8489a9f3922ab17709f28adddda851dfae2c02e5 (diff) |
Use upstream pest
Diffstat (limited to 'abnf_to_pest')
-rw-r--r-- | abnf_to_pest/src/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/abnf_to_pest/src/lib.rs b/abnf_to_pest/src/lib.rs index 38347ed..8d858bb 100644 --- a/abnf_to_pest/src/lib.rs +++ b/abnf_to_pest/src/lib.rs @@ -51,6 +51,8 @@ pub fn abnf_to_pest( || x == "let" || x == "in" || x == "fn" + // TODO: remove when https://github.com/pest-parser/pest/pull/375 gets into a release + || x == "whitespace" { x + "_" } else { |