From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 24 Mar 2006 17:54:21 +0000 (+0000)
Subject: more error messages were on stdout :-(
X-Git-Tag: 0.4.95@7852~1564
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=48d3d5ead565d18734ebcc497e8e91fe2a77ce76;p=helm.git

more error messages were on stdout :-(
---

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