Make the time function re-entrant.
[SXSI/xpathcomp.git] / src / options.mli
1 val parse_cmdline : unit -> unit