diff options
author | Nadrieril | 2019-03-06 23:48:32 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 23:48:32 +0100 |
commit | e3813e7d4e3450704c1213fd6cdff7c801ccbc34 (patch) | |
tree | 86b248b5e1c8a0053a1a447b5ff4e38c267fcb3e /dhall_core/build.rs | |
parent | 54382cd107d1befd6015f8232716158a20db44a4 (diff) |
Finally get rid of old parser
Diffstat (limited to 'dhall_core/build.rs')
-rw-r--r-- | dhall_core/build.rs | 6 |
1 files changed, 0 insertions, 6 deletions
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"); -} |