From 456ea05ac26bf48e4cdc0d745a92de0d14b3ff80 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 16 Nov 2008 10:08:58 +0000 Subject: [PATCH] removed some printings --- helm/software/components/tactics/metadataQuery.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) -- 2.39.2