From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 4 Nov 2002 15:16:31 +0000 (+0000)
Subject: nameObject ==> objectName
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=161def82d0797a15a73f5b4826e81726ae8dd374;p=helm.git

nameObject ==> objectName
---

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 =