From 11b9b274291baa8c5462b2ce3e2a5f93a39c9d57 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 21 May 2003 16:58:46 +0000 Subject: [PATCH] attributes stripped from searchPattern query (as in the new query generator) --- helm/ocaml/mquery_generator/mQueryGenerator.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/mquery_generator/mQueryGenerator.ml b/helm/ocaml/mquery_generator/mQueryGenerator.ml index 378a8e264..f4d838266 100644 --- a/helm/ocaml/mquery_generator/mQueryGenerator.ml +++ b/helm/ocaml/mquery_generator/mQueryGenerator.ml @@ -496,6 +496,8 @@ let searchPattern must_use can_use = in (*let q_let_po = M.LetVVar ("obj_positions", M.Const opos, q_let_pr) in*) + + let query = (M.Ref (M.RefOf (q_let_po opos 1))) in -print_endline "### "; MQueryUtil.text_of_query print_string (q_let_po opos 1) "\n"; flush stdout; - (q_let_po opos 1) +print_endline "### "; MQueryUtil.text_of_query print_string query "\n"; flush stdout; + query -- 2.39.2