diff options
author | Nadrieril | 2019-03-21 22:08:23 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 22:08:23 +0100 |
commit | 4b99a3fb46191a83fa8551f21b98cff689bbb338 (patch) | |
tree | 0d07b39dbcf794c9fe1174aeb6fb4923df2fd9b7 /dhall_parser/src/dhall.pest.visibility | |
parent | ea08d2528d2ee46446ac8981e72af5c610e43ce1 (diff) |
Improve import handling in parser
Diffstat (limited to 'dhall_parser/src/dhall.pest.visibility')
-rw-r--r-- | dhall_parser/src/dhall.pest.visibility | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_parser/src/dhall.pest.visibility b/dhall_parser/src/dhall.pest.visibility index 8610f7b..00075d3 100644 --- a/dhall_parser/src/dhall.pest.visibility +++ b/dhall_parser/src/dhall.pest.visibility @@ -92,7 +92,7 @@ identifier_raw identifier # path_character # quoted_path_character -# path_component +path_component path # local_raw scheme |