Commit 2072b42d authored by Andrei Paskevich's avatar Andrei Paskevich

fix compilation after the previous commit

parent e5ded412
......@@ -110,14 +110,14 @@ let add_decl_with_tuples uc d = add_decl (flush_tuples uc) d
let uc_find_ls uc p =
let ns = Theory.get_namespace (get_theory uc) in
Typing.find_ns (fun ls -> ls.ls_name) Theory.ns_find_ls p ns
Typing.find_qualid (fun ls -> ls.ls_name) Theory.ns_find_ls ns p
let get_id_ts = function
| PT pt -> pt.its_ts.ts_name
| TS ts -> ts.ts_name
let uc_find_ts uc p =
Typing.find_ns get_id_ts ns_find_type_symbol p (get_namespace uc)
Typing.find_qualid get_id_ts ns_find_type_symbol (get_namespace uc) p
let get_id_ps = function
| PV pv -> pv.pv_vs.vs_name
......@@ -127,7 +127,7 @@ let get_id_ps = function
| LS ls -> ls.ls_name
let uc_find_ps uc p =
Typing.find_ns get_id_ps ns_find_prog_symbol p (get_namespace uc)
Typing.find_qualid get_id_ps ns_find_prog_symbol (get_namespace uc) p
(** Typing type expressions *)
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment