]> matita.cs.unibo.it Git - helm.git/commitdiff
removed some printings
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 16 Nov 2008 10:08:58 +0000 (10:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 16 Nov 2008 10:08:58 +0000 (10:08 +0000)
helm/software/components/tactics/metadataQuery.ml

index 4beaab5c1e3d668a6ca10460dd9027fa8b8e3a9c..f12cd9a19785e288d2a209b7eb713e47cad97ace 100644 (file)
@@ -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)