Commit a62a95e2 authored by MARCHE Claude's avatar MARCHE Claude

jessie3 again

parent c00228b6
......@@ -77,8 +77,13 @@ let ref_modules, ref_theories =
let ref_module : Mlw_module.modul = Stdlib.Mstr.find "Ref" ref_modules
let ref_type : Mlw_module.type_symbol =
Mlw_module.ns_find_ts ref_module.Mlw_module.mod_export ["ref"]
let ref_type : Mlw_ty.T.itysymbol =
match
Mlw_module.ns_find_ts ref_module.Mlw_module.mod_export ["ref"]
with
| Mlw_module.PT itys -> itys
| Mlw_module.TS _ -> assert false
(*********)
(* types *)
......
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