X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fuse.ml;h=93ed9a8a4a722e1ca329fd803fa57386271d12f3;hb=b6992cac4c9ffa80337e5e11e5017b0b9b17c65e;hp=ed8a855ec1f86b994bd184f0d1736bb71061c079;hpb=c7904d7085619611a4e22543f24dd8dbcbb1fe6b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/use.ml b/helm/ocaml/mathql_interpreter/use.ml
index ed8a855ec..93ed9a8a4 100644
--- a/helm/ocaml/mathql_interpreter/use.ml
+++ b/helm/ocaml/mathql_interpreter/use.ml
@@ -109,7 +109,7 @@ let result =
         (c#exec ("select id from registry where uri='" ^ uri ^ "'"))
       in
       let qq =
-       "select uri, context from t" ^ tv ^ " where back_for='" ^ usek ^
+       "select uri, context from t" ^ tv ^ " where prop_id='" ^ usek ^
         "' order by uri asc"
       in
       let res = c#exec qq in