]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIProperty.ml
- mathql interpreter flags reorganized
[helm.git] / helm / ocaml / mathql_interpreter / mQIProperty.ml
index be559adc7f107bb7dda849d4ebb7a4480c252bde..639fc6bb00f4baef2003dbcd3dcf60907d1deeba 100644 (file)
@@ -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