From bbbf8a74bd5a272673c8687fdf2fc5eb9867853b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 23 Jun 2009 11:46:42 +0000 Subject: [PATCH] Debugging prerr_endlines removed. --- helm/software/components/ng_kernel/nCicEnvironment.ml | 2 -- 1 file changed, 2 deletions(-) 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 -- 2.39.2