]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
some interfaces changed to prepare the mathql code for version 1.4
[helm.git] / helm / ocaml / mathql_interpreter / mQueryInterpreter.ml
index b2bfd445dd59ae71d247bcea7b6800a7a6d90c42..a5adbcd393ceaf14a0bb2be8460083bbc1873d49 100644 (file)
@@ -56,7 +56,7 @@ let execute h x =
      if C.set h C.Warn then 
      begin
         C.log h "MQIExecute: waring: reference to undefined variables: ";
-       P.text_of_query (C.log h) q "\n"
+       P.text_of_query (C.log h) "\n" q
      end
    in
    let rec eval_val c = function
@@ -131,7 +131,7 @@ let execute h x =
       | M.Log (_,b,x) ->
          if b then begin
            let t = P.start_time () in
-           P.text_of_query (C.log h) x "\n";
+           P.text_of_query (C.log h) "\n" x;
            let s = P.stop_time t in
            if C.set h C.Stat then 
               C.log h (Printf.sprintf "Log source: %s\n" s);
@@ -139,7 +139,7 @@ let execute h x =
         end else begin
             let s = (eval_query c x) in
            let t = P.start_time () in
-           P.text_of_result (C.log h) s "\n"
+           P.text_of_result (C.log h) "\n" s
            let r = P.stop_time t in
            if C.set h C.Stat then 
               C.log h (Printf.sprintf "Log: %s\n" r);