removed useless printing

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index fbbf710252fba3bca90040dd486254f631f71fc5..298b80f19bd1cadff8cc30219d70c0e0cec70ed5 100644 (file)
--- a/helm/software/components/ng_kernel/nCicEnvironment.ml
+++ b/helm/software/components/ng_kernel/nCicEnvironment.ml
@@ -18,7 +18,6 @@ let get_obj u =
   with Not_found ->
     (* in th final implementation should get it from disk *)
     let ouri = NUri.ouri_of_nuri u in
-    prerr_endline (UriManager.string_of_uri ouri);
     let o,_ = 
       CicEnvironment.get_cooked_obj ~trust:true CicUniv.oblivion_ugraph ouri 
     in