mathql_db_map.txt is now retrieved by Helm_registry.

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

diff --git a/helm/ocaml/mathql_interpreter/mQIMap.ml b/helm/ocaml/mathql_interpreter/mQIMap.ml
index 341ebd310490802e786991c7082d2d1b48207aca..ed02524cce9ee56994d7351ddc3f389e01343dc7 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIMap.ml
+++ b/helm/ocaml/mathql_interpreter/mQIMap.ml
@@ -37,11 +37,7 @@ type pg_alias = (string * string) list
 let empty_map () = "", [], []
 
 let read_map () =
-   let default_map = "mathql_db_map.txt" in
-   let map = 
-      try Sys.getenv "MATHQL_DB_MAP"
-      with Not_found -> default_map 
-   in
+   let map = Helm_registry.get "mathql_interpreter.db_map" in
    let ich = open_in map in 
    let pgs = input_line ich in
    let rec aux r s =