X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIProperty.ml;h=acb5df43a84c48a0ec163eaaf42725822e9728fb;hb=06b6527a689f994864c13f0ffe401a5b8c052002;hp=e721606de39867a283e5c51ec24f2b3ccf0ec974;hpb=980a9931d3f7b8ce073247c88d7ecd42a672ad74;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/ocaml/mathql_interpreter/mQIProperty.ml
index e721606de..acb5df43a 100644
--- 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