From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 27 Nov 2002 10:42:22 +0000 (+0000)
Subject: generator patched
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8b9c9eae1f9da8908ede64b37f04bb7d9e476f7a;p=helm.git

generator patched
---

diff --git a/helm/gTopLevel/mQueryGenerator.ml b/helm/gTopLevel/mQueryGenerator.ml
index b12f19bac..75c23e837 100644
--- a/helm/gTopLevel/mQueryGenerator.ml
+++ b/helm/gTopLevel/mQueryGenerator.ml
@@ -108,7 +108,8 @@ let searchPattern e c t level =
        (M.Select
          ("uri", 
            M.Relation
-            (false, M.RefineExact, in_path "refObj", M.RVar "uri0", 
+            (false, M.RefineExact, in_path "refObj", 
+	     M.Ref (M.RefOf (M.RVar "uri0")), 
 	     [assign "pos" "position"]),
            M.Ex ["uri"]
             (M.Meet (M.VVar "positions", M.Record ("uri", in_path "pos")))