optimized and patched

[helm.git] / helm / ocaml / mathql_interpreter / mQILib.mli

diff --git a/helm/ocaml/mathql_interpreter/mQILib.mli b/helm/ocaml/mathql_interpreter/mQILib.mli
index bfac2b4ff13cc4d6c883a92761890999660c5214..a8de33743e98934a48776060b128f985a85bcee4 100644 (file)
--- 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