From acaa706b7b5607ab155a4c706355be3799a66992 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 6 Sep 2004 10:07:49 +0000 Subject: [PATCH] Corrected bug about the generation of constraitns: variables must not be indexed. --- helm/ocaml/mathql_generator/cGSearchPattern.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/mathql_generator/cGSearchPattern.ml b/helm/ocaml/mathql_generator/cGSearchPattern.ml index b0d290578..33a9894d1 100644 --- a/helm/ocaml/mathql_generator/cGSearchPattern.ml +++ b/helm/ocaml/mathql_generator/cGSearchPattern.ml @@ -80,7 +80,8 @@ let get_constraints term = let rec process_type_aux kind = function C.Var (uri,expl_named_subst) -> - ([!!!kind, UriManager.string_of_uri uri],[],[]) @@ + (* andrea: this is a bug: variable are not indexedin the db + ([!!!kind, UriManager.string_of_uri uri],[],[]) @@ *) (process_type_aux_expl_named_subst kind expl_named_subst) | C.Rel _ -> (match kind with -- 2.39.2