let columns_of_metadata_aux ~about metadata =
let sort s = `String (CicPp.ppsort s) in
- let source = `String about in
- let occurrence u = `String u in
+ let source = `String (UriManager.string_of_uri about) in
+ let occurrence u = `String (UriManager.string_of_uri u) in
List.fold_left
(fun (sort_cols, rel_cols, obj_cols) metadata ->
match metadata with
(CicPp.ppsort sort) (String.concat ";" (List.map pp_position p))
| `Rel p -> sprintf "Rel [%s]" (String.concat ";" (List.map pp_position p))
| `Obj (uri, p) -> sprintf "Obj %s; [%s]"
- uri (String.concat ";" (List.map pp_position p))
+ (UriManager.string_of_uri uri) (String.concat ";" (List.map pp_position p))
(*
let pp_columns ?(sep = "\n") (sort_cols, rel_cols, obj_cols) =