]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIProperty.ml
interpreter flags were reorganized
[helm.git] / helm / ocaml / mathql_interpreter / mQIProperty.ml
index 1e634d7c11c03c8312192f8047829dc0305bed93..a8b2e028df78c77edac94731a5817ab0fc7481e3 100644 (file)
@@ -58,7 +58,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