From 8110651ccf498bcf3f0cd55f3b1730d9972cf254 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 22 Mar 2019 18:12:13 +0100
Subject: Handle quoted labels

---
 dhall_parser/build.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall_parser/build.rs')

diff --git a/dhall_parser/build.rs b/dhall_parser/build.rs
index a07c7e0..fc398ff 100644
--- a/dhall_parser/build.rs
+++ b/dhall_parser/build.rs
@@ -35,7 +35,7 @@ fn main() -> std::io::Result<()> {
     writeln!(&mut file)?;
     writeln!(
         &mut file,
-        "simple_label = _{{
+        "simple_label = {{
               keyword_raw ~ simple_label_next_char+
             | !keyword_raw ~ simple_label_first_char ~ simple_label_next_char*
     }}"
-- 
cgit v1.2.3