From 65164f2ebe61a566d96119c2cde23eee6771007b Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 9 Dec 2024 10:13:50 +0100
Subject: Splitted the code and declare the test catalog in it’s own module
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 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 0041b59..a98b258 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_checks.Check.t list ->
+  modules:Qsp_syntax.Catalog.ex list ->
   list_tests:(Format.formatter -> unit) ->
   string list * t
-- 
cgit v1.2.3