From de2d5dfa173e8200834358bc9ea9ca4e32ebe1e0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 24 Mar 2006 17:52:05 +0000 Subject: [PATCH] error message was printed on stdout --- components/cic_proof_checking/cicEnvironment.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/components/cic_proof_checking/cicEnvironment.ml b/components/cic_proof_checking/cicEnvironment.ml index 1f6789e76..8965b656a 100644 --- a/components/cic_proof_checking/cicEnvironment.ml +++ b/components/cic_proof_checking/cicEnvironment.ml @@ -41,11 +41,12 @@ CicEnvironment SETTINGS (trust and clean_tmp) * ************************************************************************** *) +let debug = false;; let cleanup_tmp = true;; let trust = ref (fun _ -> true);; let set_trust f = trust := f let trust_obj uri = !trust uri -let debug_print = fun x -> prerr_endline (Lazy.force x) +let debug_print = if debug then fun x -> prerr_endline (Lazy.force x) else ignore (* ************************************************************************** * TYPES @@ -216,7 +217,7 @@ module Cache : if List.mem_assq uri !frozen_list then (* CIRCULAR DEPENDENCY DETECTED, print the error and raise *) begin - print_endline "\nCircularDependency!\nfrozen list: \n"; + prerr_endline "\nCircularDependency!\nfrozen list: \n"; List.iter ( fun (u,(_,o)) -> let su = UriManager.string_of_uri u in -- 2.39.2