source logging patched

diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml b/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
index d7ff053bd01061b8d16a21bc9dea72a8d5aef057..8a3a3b3cf5d9535615ccfec5c36546d575d6842b 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
+++ b/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
@@ -233,9 +233,9 @@ let execute h x =
          try snd (List.assoc i c.avars) 
         with Not_found -> warn (M.AVar i); []
    in
-   let x = if C.set h C.Source then M.Log (false, true, x) else x in
    let c = {svars = []; avars = []; groups = []; vvars = []} in
-   let t = P.start_time () in
+   let t = P.start_time () in   
+   if C.set h C.Source then P.text_of_query (C.log h) "\n" x;
    let r = eval_query c x in
    let s = P.stop_time t in
    if C.set h C.Stat then