From 2f4b2afb1136ba76a2c4575a2e35402daa1ef744 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 4 Apr 2008 13:06:46 +0000 Subject: [PATCH] removed useless printing --- helm/software/components/ng_kernel/nCicEnvironment.ml | 1 - 1 file changed, 1 deletion(-) 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 -- 2.39.2