some new features of mathql-1.3 where included

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

diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/ocaml/mathql_interpreter/mQIProperty.ml
index e721606de39867a283e5c51ec24f2b3ccf0ec974..acb5df43a84c48a0ec163eaaf42725822e9728fb 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIProperty.ml
+++ b/helm/ocaml/mathql_interpreter/mQIProperty.ml
@@ -81,9 +81,9 @@ let exec_single h mc ct cfl el table =
    let cons_false = List.map mk_con cfl in
    let other_cols = List.map (fun (p, _) -> conv p) el in 
    let cols = if first = "" then other_cols else first :: other_cols in
-   let result, q = C.exec h (C.resolve h table) cols cons_true cons_false in
-   if C.set h C.Queries then C.log h (q ^ "\n");   
-   pg_result first el result 
+   let out q = if C.set h C.Queries then C.log h (q ^ "\n") in
+   let r = C.exec h out (C.resolve h table) cols cons_true cons_false in
+   pg_result first el r
    
 let deadline = 100