X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Frelation.ml;h=ea4fb9cc3525061ff92a2bfd67fe82780e46f271;hb=a96d91e43e25d3d5b36e7c3646831bcf8a401c9d;hp=54f42a7e5b3f0d9350685412249e4970817bc366;hpb=49e52032242e39eba0cf24ca16a37c84b52cc356;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/relation.ml b/helm/ocaml/mathql_interpreter/relation.ml
index 54f42a7e5..ea4fb9cc3 100644
--- a/helm/ocaml/mathql_interpreter/relation.ml
+++ b/helm/ocaml/mathql_interpreter/relation.ml
@@ -55,7 +55,7 @@ let relation_ex inv rop path rset attl =
   let rset_list =  (* lista di singoletti:resource_set di un elemento *)
   (List.fold_left (fun acc (uri,l) ->
     let tv = pgresult_to_string (c#exec ("select id from registry where uri='" ^ uri ^ "'")) in
-    let qq = "select uri, context from t" ^ tv ^ " where prop_id='" ^ usek ^ "' order by uri asc" in
+    let qq = "select uri, position from t" ^ tv ^ " where prop_id='" ^ usek ^ "' order by uri asc" in
     let res = c#exec qq in
     (List.map
     (function