mathql interpreter flags can be now red from helm registry

[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.mli

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index 649b548547fd073bfe984c7fd9dd3926d554d588..889b373d8b0a284fc700204c6ad38c3cb42a0009 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -33,11 +33,11 @@ val flags_of_string : string -> flag list
 
 type handle
 
-val init      : flag list -> (string -> unit) -> handle
+val init      : ?flags:(flag list) -> (string -> unit) -> handle
 val close     : handle -> unit
 val connected : handle -> bool
 
-val init_if_connected : flag list -> (string -> unit) -> handle
+val init_if_connected : ?flags:(flag list) -> (string -> unit) -> handle
 
 (* The following functions allow to read the handle internal fields. 
  * For exclusive use of the interpreter.