X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQueryStandard.ml;fp=helm%2Focaml%2Fmathql_interpreter%2FmQueryStandard.ml;h=02fafb655617dbe5ca7ae0f05db0db429ad3da05;hb=b2bde540ce5ec2c8731f0353815583bd3d4eba26;hp=85a7ffe406837489de37c9f47ebe093b163e529d;hpb=da16c76907f567b9aa4d3d026f6ab309006b3d86;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQueryStandard.ml b/helm/ocaml/mathql_interpreter/mQueryStandard.ml
index 85a7ffe40..02fafb655 100644
--- a/helm/ocaml/mathql_interpreter/mQueryStandard.ml
+++ b/helm/ocaml/mathql_interpreter/mQueryStandard.ml
@@ -160,14 +160,14 @@ let log_fun xml src =
    let log_src e o x =
       let t = P.start_time () in o.L.s_query x;
       let s = P.stop_time t in
-      if C.set e.L.conn C.Stat then o.L.s_out (Printf.sprintf "Log source: %s\n" s);
+      if C.set e.L.conn C.Times then o.L.s_out (Printf.sprintf "Log source: %s\n" s);
       e.L.eval x 
    in
    let log_res e o x =  
       let s = e.L.eval x in
       let t = P.start_time () in o.L.s_result s;
       let r = P.stop_time t in
-      if C.set e.L.conn C.Stat then o.L.s_out (Printf.sprintf "Log: %s\n" r); s
+      if C.set e.L.conn C.Times then o.L.s_out (Printf.sprintf "Log: %s\n" r); s
    in
    let txt_log o = 
       if xml then o.L.s_out "xml ";