]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIPostgres.ml
Bug fixed: instead of generating "not ()", I generate "true" (for PostGresql)
[helm.git] / helm / ocaml / mathql_interpreter / mQIPostgres.ml
index f983a5862fcee334b88c3fbb0b894a1dbb991424..932fcc503990eea00c427de6449fa42ee466d998 100644 (file)
@@ -65,7 +65,8 @@ let exec c table cols ct cfl =
       else "true"
    in
    let pg_cons l = iter pg_con " and " l in
-   let pg_cons_not l = "not (" ^ pg_cons l ^ ")" in
+   let pg_cons_not l =
+    match l with [] -> "true"  | _ -> "not (" ^ pg_cons l ^ ")" in
    let pg_cons_not_l ll = iter pg_cons_not " and " ll in
    let pg_where = match ct, cfl with
       | [], []  -> ""