From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 17 Oct 2002 15:02:52 +0000 (+0000)
Subject: generator patched
X-Git-Tag: new_mathql_before_first_merge~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6cd9c31edf69f619789a9802e840fbb61f4b6b40;p=helm.git

generator patched
---

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 =