From 53c02501935b3cb2db78e79deb4d38c997505a95 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 2 Dec 2024 09:05:18 +0100
Subject: Moved the checks in a dedicated library

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