now mathql interpreter use helm registry

diff --git a/helm/ocaml/mathql_interpreter/mQIMap.mli b/helm/ocaml/mathql_interpreter/mQIMap.mli
index bf78f6d62f170c3f2caed89f7e6e05db03f59b70..50f5bb0fa8698c91068d3c423526ae52a92f9aed 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIMap.mli
+++ b/helm/ocaml/mathql_interpreter/mQIMap.mli
@@ -32,9 +32,9 @@ type pg_tables
 
 type pg_alias
 
-val empty_map     : unit -> string * pg_map * pg_alias
+val empty_map     : unit -> pg_map * pg_alias
 
-val read_map      : unit -> string * pg_map * pg_alias
+val read_map      : unit -> pg_map * pg_alias
 
 val get_tables    : pg_map -> MathQL.path -> pg_tables