if List.mem_assq uri !frozen_list then
(* CIRCULAR DEPENDENCY DETECTED, print the error and raise *)
begin
+(*
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
- print_endline (su^" "^univ))
+ prerr_endline (su^" "^univ))
!frozen_list;
+*)
raise (CircularDependency (lazy (UriManager.string_of_uri uri)))
end
else