From e3813e7d4e3450704c1213fd6cdff7c801ccbc34 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 23:48:32 +0100
Subject: Finally get rid of old parser

---
 dhall_core/build.rs | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 dhall_core/build.rs

(limited to 'dhall_core/build.rs')

diff --git a/dhall_core/build.rs b/dhall_core/build.rs
deleted file mode 100644
index 946841a..0000000
--- a/dhall_core/build.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-use lalrpop;
-
-fn main() {
-    lalrpop::process_root().unwrap();
-    println!("cargo:rerun-if-changed=src/grammar.lalrpop");
-}
-- 
cgit v1.2.3