CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Repair the 'explain' plugin

Browse Source
This commit is contained in:
Louis Gesbert 2024-03-05 10:07:25 +01:00
parent db508a006a
commit 8b3d7fb64b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/plugins/explain.ml
View File

@ -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)