Commit efcac6e1 authored by Martin Clochard's avatar Martin Clochard

bugfix.

parent 72192969
......@@ -523,7 +523,7 @@ let cl_find_ls cl ls =
let vt' = Opt.map (cl_trans_ty cl) ls.ls_value in
let stv = Opt.fold ty_freevars Stv.empty vt' in
let stv = List.fold_left ty_freevars stv ta' in
let opaque = Stv.diff opaque stv in
let opaque = Stv.inter opaque stv in
let ls' = create_lsymbol ~opaque ~constr id ta' vt' in
cl.ls_table <- Mls.add ls ls' cl.ls_table;
ls'
......
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