]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIProperty.ml
Quick patch to make everything work with MySql.
[helm.git] / helm / ocaml / mathql_interpreter / mQIProperty.ml
index be559adc7f107bb7dda849d4ebb7a4480c252bde..0433afd5eb37fdd051be9136204a15e81f5ede6c 100644 (file)
@@ -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