From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 16 Nov 2008 10:08:58 +0000 (+0000)
Subject: removed some printings
X-Git-Tag: make_still_working~4544
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=456ea05ac26bf48e4cdc0d745a92de0d14b3ff80;p=helm.git

removed some printings
---

diff --git a/helm/software/components/tactics/metadataQuery.ml b/helm/software/components/tactics/metadataQuery.ml
index 4beaab5c1..f12cd9a19 100644
--- a/helm/software/components/tactics/metadataQuery.ml
+++ b/helm/software/components/tactics/metadataQuery.ml
@@ -171,7 +171,8 @@ let close_with_constructors s metasenv context =
 			     List.fold_left 
 			       (fun (j,s) _ -> 
 				  let curi = UriManager.uri_of_uriref uri i (Some j) in
-                                    prerr_endline ("adding " ^ (UriManager.string_of_uri curi));
+(*                                     prerr_endline ("adding " ^
+ *                                     (UriManager.string_of_uri curi)); *)
 				    j+1,Constr.UriManagerSet.add curi s) (1,s) cl in
 			     (i+1,s)) (0,bag) tl)
 	       | _ -> assert false)