From 48d3d5ead565d18734ebcc497e8e91fe2a77ce76 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 :-( --- components/cic_proof_checking/cicEnvironment.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/cic_proof_checking/cicEnvironment.ml b/components/cic_proof_checking/cicEnvironment.ml index 8965b656a..535869b35 100644 --- a/components/cic_proof_checking/cicEnvironment.ml +++ b/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