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/src | |
| parent | 6d6626b79710d11d1de4a8c479b67287e758df59 (diff) | |
Transform more mapping functions to use the Visitor trait
Diffstat (limited to '')
| -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, ) |