From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 4 Apr 2008 13:06:46 +0000 (+0000)
Subject: removed useless printing
X-Git-Tag: make_still_working~5450
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2f4b2afb1136ba76a2c4575a2e35402daa1ef744;p=helm.git

removed useless printing
---

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index fbbf71025..298b80f19 100644
--- 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