From 0c981c548db098b0842b79faecfba93f32a1b589 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 20 Apr 2019 22:11:37 +0200 Subject: Avoid a lot of unnecessary cloning in apply_builtin --- dhall/Cargo.toml | 1 + 1 file changed, 1 insertion(+) (limited to 'dhall/Cargo.toml') diff --git a/dhall/Cargo.toml b/dhall/Cargo.toml index 905f074..d1c921f 100644 --- a/dhall/Cargo.toml +++ b/dhall/Cargo.toml @@ -15,6 +15,7 @@ itertools = "0.8.0" term-painter = "0.2.3" serde = { version = "1.0", features = ["derive"] } serde_cbor = "0.9.0" +improved_slice_patterns = { version = "2.0.0", path = "../improved_slice_patterns" } dhall_core = { path = "../dhall_core" } dhall_generator = { path = "../dhall_generator" } -- cgit v1.2.3