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.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/args.ml')

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 ->
-- 
cgit v1.2.3