From 57ccbfa16f48f373ac5545b8523de56fb996ba3e Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 1 Apr 2019 00:17:44 +0200 Subject: Refactor and clarify various map methods --- dhall/src/normalize.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall/src/normalize.rs') 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))) } -- cgit v1.2.3