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

diff --git a/helm/ocaml/mathql_interpreter/mQILib.ml b/helm/ocaml/mathql_interpreter/mQILib.ml
index a474857c5..312e806cd 100644
--- 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 =