let in scope corrected and new database format support

[helm.git] / helm / ocaml / mathql_interpreter / use.ml

diff --git a/helm/ocaml/mathql_interpreter/use.ml b/helm/ocaml/mathql_interpreter/use.ml
index ed8a855ec1f86b994bd184f0d1736bb71061c079..93ed9a8a4a722e1ca329fd803fa57386271d12f3 100644 (file)
--- 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