summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src
diff options
context:
space:
mode:
authorNadrieril2019-04-16 22:23:40 +0200
committerNadrieril2019-04-16 22:23:40 +0200
commite5d40d38735afb4252d6f25ee8f834f9b097e0f7 (patch)
tree5c3cf45d07c71e049eebc0b5a0ba70b0812d0678 /dhall_generated_parser/src
parent47d5dbcfffa7842466187197513ffa403a0fdb59 (diff)
Tiny rename to save myself a lot of pain
Diffstat (limited to 'dhall_generated_parser/src')
-rw-r--r--dhall_generated_parser/src/dhall.pest.visibility2
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 f881a50..4d8f3db 100644
--- a/dhall_generated_parser/src/dhall.pest.visibility
+++ b/dhall_generated_parser/src/dhall.pest.visibility
@@ -41,7 +41,7 @@ merge
missing
# Infinity
NaN
-Some
+Some_
# keyword
Optional
Text