From f5580062e383b1f9737ee30f1ea4459e41106303 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 24 Mar 2006 17:54:21 +0000 Subject: [PATCH] more error messages were on stdout :-( --- helm/software/components/cic_proof_checking/cicEnvironment.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/cic_proof_checking/cicEnvironment.ml b/helm/software/components/cic_proof_checking/cicEnvironment.ml index 8965b656a..535869b35 100644 --- a/helm/software/components/cic_proof_checking/cicEnvironment.ml +++ b/helm/software/components/cic_proof_checking/cicEnvironment.ml @@ -222,7 +222,7 @@ module Cache : 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 -- 2.39.2