From 8b3d7fb64b0ad655a1328a2dd06011ebac36f0d4 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Tue, 5 Mar 2024 10:07:25 +0100
Subject: [PATCH] Repair the 'explain' plugin

---
 compiler/plugins/explain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/plugins/explain.ml b/compiler/plugins/explain.ml
index 28223f38..070b517e 100644
--- a/compiler/plugins/explain.ml
+++ b/compiler/plugins/explain.ml
@@ -794,7 +794,7 @@ let reverse_graph g =
 let subst_by v1 e2 e =
   let rec f = function
     | EVar v, m when Var.equal v v1 -> Expr.box e2
-    | e -> Expr.map ~f e
+    | e -> Expr.map ~f ~op:Fun.id e
   in
   Expr.unbox (f e)