From e5d40d38735afb4252d6f25ee8f834f9b097e0f7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 16 Apr 2019 22:23:40 +0200
Subject: Tiny rename to save myself a lot of pain

---
 dhall_generated_parser/src/dhall.pest.visibility | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall_generated_parser/src/dhall.pest.visibility')

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
-- 
cgit v1.2.3