From 59a1175d22ad8f7d0b225ed0c89c8b2f2d4dd276 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. --- helm/software/components/cic_proof_checking/cicEnvironment.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/software/components/cic_proof_checking/cicEnvironment.ml b/helm/software/components/cic_proof_checking/cicEnvironment.ml index 535869b35..314abf4eb 100644 --- a/helm/software/components/cic_proof_checking/cicEnvironment.ml +++ b/helm/software/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.5