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: make_still_working~7466
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f5580062e383b1f9737ee30f1ea4459e41106303;p=helm.git

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

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