From 6cd9c31edf69f619789a9802e840fbb61f4b6b40 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 17 Oct 2002 15:02:52 +0000 Subject: [PATCH] generator patched --- 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 6a1eb923d..4deaf8c7a 100644 --- a/helm/gTopLevel/mQueryGenerator.ml +++ b/helm/gTopLevel/mQueryGenerator.ml @@ -185,7 +185,7 @@ let execute_query query = let locate s = let module M = MathQL in - let q = M.Ref (M.Fun "uri_of_alias" (M.Const [s])) in + let q = M.Ref (M.Fun "reference" (M.Const [s])) in execute_query q let backward e c t level = -- 2.39.2