prerr_endline "\nCircularDependency!\nfrozen list: \n";
List.iter (
fun (u,(_,o)) ->
let su = UriManager.string_of_uri u in
let univ = if o = None then "NO_UNIV" else "" in
prerr_endline "\nCircularDependency!\nfrozen list: \n";
List.iter (
fun (u,(_,o)) ->
let su = UriManager.string_of_uri u in
let univ = if o = None then "NO_UNIV" else "" in