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 8965b656a4682edb2531b8aed422252b696786bd..535869b3525954d723c854827fe20a1f265073c6 100644 (file)
--- 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