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