From a4c02907fcf1c5ef8a4b89832808541fcad172e6 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 22 Apr 2005 08:36:42 +0000 Subject: [PATCH] removed debugging print --- helm/ocaml/metadata/metadataConstraints.ml | 2 +- helm/ocaml/tactics/metadataQuery.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml index 870a57d90..32e34a40a 100644 --- a/helm/ocaml/metadata/metadataConstraints.ml +++ b/helm/ocaml/metadata/metadataConstraints.ml @@ -163,7 +163,7 @@ let at_least ~(dbd:Mysql.dbd) ?concl_card ?full_card ?diff tables *) sprintf "select table0.source from %s where %s" from where in - prerr_endline query; +(* prerr_endline query; *) let result = Mysql.exec dbd query in Mysql.map result (fun row -> match row.(0) with Some s -> s | _ -> assert false) diff --git a/helm/ocaml/tactics/metadataQuery.ml b/helm/ocaml/tactics/metadataQuery.ml index b6b360a81..0e86d8cce 100644 --- a/helm/ocaml/tactics/metadataQuery.ml +++ b/helm/ocaml/tactics/metadataQuery.ml @@ -60,7 +60,7 @@ let locate ~(dbd:Mysql.dbd) ?(vars = false) pat = (fun cols -> match cols.(0) with Some s -> s | _ -> assert false)) let match_term ~(dbd:Mysql.dbd) ty = - prerr_endline (CicPp.ppterm ty); +(* prerr_endline (CicPp.ppterm ty); *) let metadata = MetadataExtractor.compute ~body:None ~ty in let constants_no = MetadataConstraints.StringSet.cardinal (MetadataConstraints.constants_of ty) -- 2.39.2