optimized and patched

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

diff --git a/helm/ocaml/mathql_interpreter/mQILib.ml b/helm/ocaml/mathql_interpreter/mQILib.ml
index a474857c55c9adfae7840f7970d5b742c51d4f88..312e806cd65c8d988ff75cb3e8bf1004e27c315e 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQILib.ml
+++ b/helm/ocaml/mathql_interpreter/mQILib.ml
@@ -41,8 +41,9 @@ type eval_spec = {eval : M.query -> M.result;
                 }
 
 type text_out_spec = {out    : string -> unit;
+                      sep    : string;
                       path   : (string -> unit) -> M.path -> unit;
-                     query  : (string -> unit) -> string -> M.query -> unit;
+                     query  : (string -> unit) -> string -> M.query -> unit;
                      result : (string -> unit) -> string -> M.result -> unit
                     }
 
@@ -82,7 +83,7 @@ let check_arity p i = function
 
 let std o = 
    {s_out = o.out; s_path = o.path o.out; 
-    s_query = o.query o.out ""; s_result = o.result o.out "\n"
+    s_query = o.query o.out o.sep; s_result = o.result o.out o.sep
    }
 
 let out_txt2 o n x1 x2 =