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