- let src = UriManager.uri_of_string (CicUtil.uri_of_term src) in
- let tgt = UriManager.uri_of_string (CicUtil.uri_of_term tgt) in
+ let src = CicUtil.uri_of_term src in
+ let tgt = CicUtil.uri_of_term tgt in
(UriManager.name_of_uri src)
(UriManager.name_of_uri tgt)
(UriManager.name_of_uri u));
(UriManager.name_of_uri src)
(UriManager.name_of_uri tgt)
(UriManager.name_of_uri u));
let first_step =
Cic.Constant ("", Some (term_of_uri' he), Cic.Sort Cic.Prop, [],
obj_attrs)
let first_step =
Cic.Constant ("", Some (term_of_uri' he), Cic.Sort Cic.Prop, [],
obj_attrs)