diff options
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 c6c294c..966d032 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -345,5 +345,5 @@ where S: fmt::Debug, A: fmt::Debug, { - map_subexpr_rc(&normalize_whnf(&e), |x| normalize(SubExpr::clone(x))) + normalize_whnf(&e).map_ref_simple(|x| normalize(SubExpr::clone(x))) } |