From c7dd03f804fabde7b201677058b8e1b9c62a7793 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 18 Aug 2017 01:03:22 +0200
Subject: Adapting code to renaming fold_map/fold_map' into
 fold_left_map/fold_right_map (from module List).

---
 kernel/pre_env.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml
index 7b4fb4e869..94738d6186 100644
--- a/kernel/pre_env.ml
+++ b/kernel/pre_env.ml
@@ -156,7 +156,7 @@ let map_named_val f ctxt =
     in
     (accu, d')
   in
-  let map, ctx = List.fold_map fold ctxt.env_named_map ctxt.env_named_ctx in
+  let map, ctx = List.fold_left_map fold ctxt.env_named_map ctxt.env_named_ctx in
   if map == ctxt.env_named_map then ctxt
   else { env_named_ctx = ctx; env_named_map = map }
 
-- 
cgit v1.2.3