From ba61655649f4dd6117125430e49aba5ce4f92392 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:22:48 +0100
Subject: spec: remove Unicode character from `dhall.abnf`

---
 dhall/build.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 3dcdd5e..22f0e8f 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -15,7 +15,6 @@ fn convert_abnf_to_pest() -> std::io::Result<()> {
 
     let mut data = read_to_string(abnf_path)?;
     data.push('\n');
-    let data = data.replace('∀', ""); // TODO: waiting for abnf 0.6.1
 
     let mut rules = abnf_to_pest::parse_abnf(&data)?;
     for line in BufReader::new(File::open(visibility_path)?).lines() {
-- 
cgit v1.2.3