X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIMap.mli;h=50f5bb0fa8698c91068d3c423526ae52a92f9aed;hb=ddf599524a4324cbd5e20d2ed6ed6821ac7b75c8;hp=bf78f6d62f170c3f2caed89f7e6e05db03f59b70;hpb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;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