X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQILib.mli;h=a8de33743e98934a48776060b128f985a85bcee4;hb=ad4c175433641f3b6668971bb7b3498c31390e0e;hp=bfac2b4ff13cc4d6c883a92761890999660c5214;hpb=17c63a69e22b8186e14dd4d8098574b566fedf14;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQILib.mli b/helm/ocaml/mathql_interpreter/mQILib.mli
index bfac2b4ff..a8de33743 100644
--- a/helm/ocaml/mathql_interpreter/mQILib.mli
+++ b/helm/ocaml/mathql_interpreter/mQILib.mli
@@ -35,6 +35,7 @@ type eval_spec = {eval : MathQL.query -> MathQL.result;
 		 }
 
 type text_out_spec = {out    : string -> unit;
+                      sep    : string;
                       path   : (string -> unit) -> MathQL.path -> unit;
 		      query  : (string -> unit) -> string -> MathQL.query -> unit;
 		      result : (string -> unit) -> string -> MathQL.result -> unit