From bbb2fa6a7f4f329d8ef8dac6ce34bf37dd37c064 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 27 Mar 2006 14:14:52 +0000 Subject: [PATCH] Debugging code commented out. --- components/cic_proof_checking/cicEnvironment.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/components/cic_proof_checking/cicEnvironment.ml b/components/cic_proof_checking/cicEnvironment.ml index 535869b35..314abf4eb 100644 --- a/components/cic_proof_checking/cicEnvironment.ml +++ b/components/cic_proof_checking/cicEnvironment.ml @@ -217,6 +217,7 @@ module Cache : 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)) -> @@ -224,6 +225,7 @@ module Cache : let univ = if o = None then "NO_UNIV" else "" in prerr_endline (su^" "^univ)) !frozen_list; +*) raise (CircularDependency (lazy (UriManager.string_of_uri uri))) end else -- 2.39.2