X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.ml;fp=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.ml;h=2d5f03945f8d1fa69ae85444c2fdf58fbb842a57;hb=bbbf8a74bd5a272673c8687fdf2fc5eb9867853b;hp=9cec01f60c2ed9d96de0d84172a4e8eedd509d13;hpb=bd1e80fb01cfb419e256d5899ac5bf8818f11e64;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 9cec01f60..2d5f03945 100644
--- a/helm/software/components/ng_kernel/nCicEnvironment.ml
+++ b/helm/software/components/ng_kernel/nCicEnvironment.ml
@@ -117,8 +117,6 @@ let history = ref [];;
 let frozen_list = ref [];;
 
 let invalidate_obj uri =
-prerr_endline ("INVALIDO: " ^ NUri.string_of_uri uri);
-List.iter (fun uri -> prerr_endline ("INH: " ^ NUri.string_of_uri uri)) !history;
  let rec aux to_be_deleted =
   function
      [] -> assert false