(* List.iter
(fun (n,u) -> prerr_endline ((string_of_int n) ^ " " ^u)) uris; *)
(* delete all .var uris *)
- let isvar (_,s) =
- let len = String.length s in
- let suffix = String.sub s (len-4) 4 in
- not (suffix = ".var") in
- let uris = List.filter isvar uris in
+ let uris = List.filter UriManager.is_var uris in
(* delete all not "cic:/Coq" uris *)
(*
let uris =