aboutsummaryrefslogtreecommitdiff
path: root/bin/args.ml
diff options
context:
space:
mode:
Diffstat (limited to 'bin/args.ml')
-rw-r--r--bin/args.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/args.ml b/bin/args.ml
index b124575..1503d18 100644
--- a/bin/args.ml
+++ b/bin/args.ml
@@ -74,7 +74,7 @@ let speclist printer =
common_arguments @ windows_arguments
let parse :
- modules:Qsp_checks.Check.t list ->
+ modules:Qsp_syntax.Catalog.ex list ->
list_tests:(Format.formatter -> unit) ->
string list * t =
fun ~modules ~list_tests ->