diff options
author | Nadrieril | 2019-04-14 15:02:12 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-14 15:02:12 +0200 |
commit | fd992e35ab1f61db59ad3a17a4e1795d1f216432 (patch) | |
tree | 32255092bd7aa24fc6eaf3d32560ef079a096b3a /dhall | |
parent | 6d6626b79710d11d1de4a8c479b67287e758df59 (diff) |
Transform more mapping functions to use the Visitor trait
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/src/normalize.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index 49812c9..debf277 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -12,7 +12,7 @@ impl<'a> Typed<'a> { #[allow(dead_code)] pub fn skip_normalize(self) -> Normalized<'a> { Normalized( - self.0.unroll().squash_embed(&|e| e.0.clone()), + self.0.unroll().squash_embed(|e| e.0.clone()), self.1, self.2, ) |