From 161def82d0797a15a73f5b4826e81726ae8dd374 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 4 Nov 2002 15:16:31 +0000 Subject: [PATCH] nameObject ==> objectName --- helm/gTopLevel/mQueryGenerator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 = -- 2.39.5