X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIProperty.ml;h=0433afd5eb37fdd051be9136204a15e81f5ede6c;hb=b5503c72c5560e8da3337e99bf058f0caab350e8;hp=be559adc7f107bb7dda849d4ebb7a4480c252bde;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.ml b/helm/ocaml/mathql_interpreter/mQIProperty.ml
index be559adc7..0433afd5e 100644
--- a/helm/ocaml/mathql_interpreter/mQIProperty.ml
+++ b/helm/ocaml/mathql_interpreter/mQIProperty.ml
@@ -27,7 +27,7 @@
  *)
 
 module M = MathQL
-module P = MQIPostgres
+module P = MQIDataBase
 module C = MQIConn
 module U = MQIUtil
 module A = MQIMap
@@ -57,7 +57,7 @@ let cl_print l =
 
 let pg_query h table cols ct cfl =
    let exec q = 
-      if C.set h C.Log then C.log h (q ^ "\n");
+      if C.set h C.Queries then C.log h (q ^ "\n");
       P.exec (C.pgc h) q 
    in
    let rec iter f sep = function