summaryrefslogtreecommitdiff
path: root/abnf_to_pest
diff options
context:
space:
mode:
authorNadrieril2019-03-07 00:44:58 +0100
committerNadrieril2019-03-07 00:44:58 +0100
commitfb195ece2f2773d2a1fc004ff98f9b77a90cb9cc (patch)
tree6a17ce4f53870a1cd9426367615bb8742d597378 /abnf_to_pest
parent8489a9f3922ab17709f28adddda851dfae2c02e5 (diff)
Use upstream pest
Diffstat (limited to 'abnf_to_pest')
-rw-r--r--abnf_to_pest/src/lib.rs2
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 {