Debugging prerr_endlines removed.

[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.ml

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 9cec01f60c2ed9d96de0d84172a4e8eedd509d13..2d5f03945f8d1fa69ae85444c2fdf58fbb842a57 100644 (file)
--- 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