From 8b9c9eae1f9da8908ede64b37f04bb7d9e476f7a Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 27 Nov 2002 10:42:22 +0000
Subject: [PATCH] generator patched

---
 helm/gTopLevel/mQueryGenerator.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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")))
-- 
2.39.2