diff options
author | Nadrieril | 2019-05-02 22:15:47 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-02 22:15:47 +0200 |
commit | 3268e1fb66e2c9eab22572da034a0ac9b3087867 (patch) | |
tree | 0f8dd6097f7e4e11ba69934dbedba4e6de320ce2 /dhall_generated_parser/src | |
parent | 69d310da1e4c4563ce41424f776879102b62d9a0 (diff) |
Update dhall-lang submodule
Diffstat (limited to '')
-rw-r--r-- | dhall_generated_parser/src/dhall.pest.visibility | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility index e9236d4..6e83052 100644 --- a/dhall_generated_parser/src/dhall.pest.visibility +++ b/dhall_generated_parser/src/dhall.pest.visibility @@ -126,7 +126,7 @@ http env bash_environment_variable posix_environment_variable -# posix_environment_variable_character +posix_environment_variable_character import_type hash import_hashed |