X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIMap.mli;h=50f5bb0fa8698c91068d3c423526ae52a92f9aed;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=bf78f6d62f170c3f2caed89f7e6e05db03f59b70;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIMap.mli b/helm/ocaml/mathql_interpreter/mQIMap.mli
index bf78f6d62..50f5bb0fa 100644
--- 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