diff options
author | Nadrieril | 2019-04-04 16:03:10 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-04 16:09:11 +0200 |
commit | 170eebd7001153a849fbf84c52767240a33c4538 (patch) | |
tree | ddc2bf4ddbca0fc5afdaeeaebce524457c42458c /dhall_parser/src/dhall.pest.visibility | |
parent | 1ff7bffcbce7112b0491f7cd895ed3275fb68a1f (diff) |
Rename whitespace rules
Diffstat (limited to '')
-rw-r--r-- | dhall_parser/src/dhall.pest.visibility | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility index ee5ea2b..e95cd32 100644 --- a/dhall_parser/src/dhall.pest.visibility +++ b/dhall_parser/src/dhall.pest.visibility @@ -7,9 +7,8 @@ end_of_line # not_end_of_line # line_comment # whitespace_chunk -# whitespace -# whitespace_ -# nonempty_whitespace +# whsp +# whsp1 # ALPHA # DIGIT # HEXDIG |