X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=mclu_console.mli;h=486cca00aa7dc9f4cb6107bfaa50443fb9c855fb;hb=737ffdb932c89d8ec0b2c3d9731ca325da9d84f3;hp=46ae35eaeec843b4fe777499bd215fd519e316a0;hpb=925be79f3065e383cbc532ebd637652999a9671e;p=mclu.git

diff --git a/mclu_console.mli b/mclu_console.mli
index 46ae35e..486cca0 100644
--- a/mclu_console.mli
+++ b/mclu_console.mli
@@ -19,3 +19,5 @@
 val get_arg_speclist : unit -> (Arg.key * Arg.spec * Arg.doc) list
 
 val run : verbose:bool -> string list -> unit
+
+val console : verbose:bool -> ?host:string -> string -> unit