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 =