From 3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 19 Jul 2025 11:18:24 +0200
Subject: Added dependencies system between the modules in the checks

---
 bin/args.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/args.mli')

diff --git a/bin/args.mli b/bin/args.mli
index a98b258..151a4ca 100644
--- a/bin/args.mli
+++ b/bin/args.mli
@@ -4,6 +4,6 @@ type t = { reset_line : bool; filters : filters }
 (** All the arguments given from the command line *)
 
 val parse :
-  modules:Qsp_syntax.Catalog.ex list ->
+  modules:Qsp_syntax.Identifier.t list ->
   list_tests:(Format.formatter -> unit) ->
   string list * t
-- 
cgit v1.2.3