- let result = Match_concl.cmatch conn ty in
- (* Stampa il risultato della query
- List.iter
- (fun (n,u) -> prerr_endline ((string_of_int n) ^ " " ^u)) result;
- *)
- let uris =
- List.map
- (fun (n,u) ->
- (n,MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format' u))
- result in
+ let uris = Match_concl.cmatch conn ty in
+ (* List.iter
+ (fun (n,u) -> prerr_endline ((string_of_int n) ^ " " ^u)) uris; *)