Commit 22f5d8b2 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

fixed whyml (e_vars -> e_varm)

parent 6ffbc360
......@@ -518,7 +518,7 @@ let create_fun_defn id lam recsyms =
c_post = lam.l_post;
c_xpost = lam.l_xpost;
c_effect = e.e_effect; } in
let varm = Mid.set_diff e.e_vars recsyms in
let varm = Mid.set_diff e.e_varm recsyms in
let varm = spec_varmap varm lam.l_variant spec in
let del_pv m pv = Mid.remove pv.pv_vs.vs_name m in
let varm = List.fold_left del_pv varm lam.l_args 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