diff options
| author | Nadrieril Feneanar | 2019-03-20 23:18:04 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-20 23:18:04 +0100 |
| commit | c15c71b4fb390913914c7669d906dc892078df7c (patch) | |
| tree | acc2a21c064fb62631c076d8c135ae929ce07542 /dhall_parser/src/dhall.pest.visibility | |
| parent | 049f1f12bcf3013e31b179fd469a4ff0f61bf831 (diff) | |
| parent | 4d616450d6883e68672a91f447999660fa17636c (diff) | |
Merge pull request #34 from Nadrieril/rewrite-parser-macros
Rewrite parser macros
Diffstat (limited to '')
| -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 5913d91..8610f7b 100644 --- a/dhall_parser/src/dhall.pest.visibility +++ b/dhall_parser/src/dhall.pest.visibility @@ -20,7 +20,7 @@ end_of_line simple_label quoted_label label_raw -label +# label double_quote_chunk double_quote_escaped double_quote_literal |