From 5f52c5bda0277edd87323eb67dcda721cd18a9d3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 24 Dec 2019 20:23:19 +0000
Subject: Extend merge to work on Optionals

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

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

diff --git a/dhall/src/dhall.pest.visibility b/dhall/src/dhall.pest.visibility
index 5d3b4c8..03a000b 100644
--- a/dhall/src/dhall.pest.visibility
+++ b/dhall/src/dhall.pest.visibility
@@ -21,6 +21,7 @@ quoted_label
 # label
 # nonreserved_label
 # any_label
+any_label_or_some
 double_quote_chunk
 double_quote_escaped
 # unicode_escape
-- 
cgit v1.2.3