From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 23 Jun 2009 11:46:42 +0000 (+0000)
Subject: Debugging prerr_endlines removed.
X-Git-Tag: make_still_working~3817
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bbbf8a74bd5a272673c8687fdf2fc5eb9867853b;p=helm.git

Debugging prerr_endlines removed.
---

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