aboutsummaryrefslogtreecommitdiff
path: root/bin/args.mli
diff options
context:
space:
mode:
Diffstat (limited to 'bin/args.mli')
-rw-r--r--bin/args.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/args.mli b/bin/args.mli
index 5231cae..cffd0d0 100644
--- a/bin/args.mli
+++ b/bin/args.mli
@@ -3,4 +3,4 @@ type filters = { level : Qsp_syntax.Report.level option }
type t = { reset_line : bool; filters : filters }
(** All the arguments given from the command line *)
-val parse : unit -> string list * t
+val parse : list_tests:(Format.formatter -> unit) -> string list * t