X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2FmQueryGenerator.ml;h=8616cf9d2c9d04ff6fac696fae466d67e1586d88;hb=b6c2107995066dea2b31fe9f760af3cac2d8cebc;hp=1776db1d34f0753fd77778d908a486760eda760d;hpb=7074f0403d1bec7f4d60715e50a0fe0ef0993567;p=helm.git

diff --git a/helm/gTopLevel/mQueryGenerator.ml b/helm/gTopLevel/mQueryGenerator.ml
index 1776db1d3..8616cf9d2 100644
--- a/helm/gTopLevel/mQueryGenerator.ml
+++ b/helm/gTopLevel/mQueryGenerator.ml
@@ -199,7 +199,7 @@ let execute_query query =
 
 let locate s =
    let module M = MathQL in
-   let q = M.Ref (M.Fun "nameObject" (M.Const [s])) in
+   let q = M.Ref (M.Fun "objectName" (M.Const [s])) in
    execute_query q
 
 let searchPattern e c t level =