]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/dbconn.mli
Initial revision
[helm.git] / helm / ocaml / mathql_interpreter / dbconn.mli
index c162cf00e9eeed676204cf6a89f52ffb18108c07..ecfbcd66ae8c263d8457fa96247f30a504e30870 100644 (file)
@@ -24,5 +24,5 @@
  *)
 
 val pgc : unit -> Postgres.connection
-val init : unit -> unit
+val init : string -> unit
 val close : unit -> unit