Commit 31410c29 authored by Sylvain Dailler's avatar Sylvain Dailler

Unfold patched.

parent 1caa8a12
......@@ -548,8 +548,8 @@ let t_replace_app unf ls_defn t =
t_subst mvs tls
| _ -> t
let t_ls_replace ls ls_defn t =
t_replace_app ls ls_defn (t_map (t_replace_app ls ls_defn) t)
let rec t_ls_replace ls ls_defn t =
t_replace_app ls ls_defn (t_map (t_ls_replace ls ls_defn) t)
let unfold unf h =
let r = ref None in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment