diff options
author | Nadrieril | 2019-03-09 16:24:14 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-09 16:24:14 +0100 |
commit | cb9dfc1b9421e9814dac3ba6c78bad0d271f9d67 (patch) | |
tree | fa1b6e14b16c7d63f6ad7df8ed583f24cbdad3c2 /dhall/src/imports.rs | |
parent | 6037cb224c5e61828ba41cb3d34438ad03a71403 (diff) |
Obey clippy lints
Closes #14
Diffstat (limited to '')
-rw-r--r-- | dhall/src/imports.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/imports.rs b/dhall/src/imports.rs index 007ed47..22f7863 100644 --- a/dhall/src/imports.rs +++ b/dhall/src/imports.rs @@ -78,8 +78,7 @@ pub fn load_dhall_file( let resolve = |import: &Import| -> Expr<X, X> { resolve_import(import, &root).unwrap() }; - let expr = expr.map_embed(&resolve).squash_embed(); - expr + expr.map_embed(&resolve).squash_embed() } else { panic_imports(&expr) }; |