X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIPostgres.mli;h=d6b9d3f33f6eab69bfa54eeeda8d2bde2437bd4e;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=8acd2a2fd97d039710e31f27dafbaaaeb63c7081;hpb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.mli b/helm/ocaml/mathql_interpreter/mQIPostgres.mli index 8acd2a2fd..d6b9d3f33 100644 --- a/helm/ocaml/mathql_interpreter/mQIPostgres.mli +++ b/helm/ocaml/mathql_interpreter/mQIPostgres.mli @@ -23,9 +23,6 @@ * http://cs.unibo.it/helm/. *) -(* AUTOR: Ferruccio Guidi - *) - val init : unit -> Postgres.connection option val close : Postgres.connection option -> unit