X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmquery_generator%2FmQueryGenerator.ml;h=f4d838266f3687114cf3a368e80913b27da249c2;hb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;hp=378a8e264e5935716e07670a88a3eba082402abd;hpb=26687f6c7acd3c9ec642625288a8a2185c5b81c5;p=helm.git

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