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.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'bin/args.ml')

diff --git a/bin/args.ml b/bin/args.ml
index 54751c8..b124575 100644
--- a/bin/args.ml
+++ b/bin/args.ml
@@ -29,7 +29,7 @@ let disable_module modules identifier =
     String.sub identifier ~pos:1 ~len:(String.length identifier - 1)
   in
   List.iter modules ~f:(fun t ->
-      let (module C : Qsp_syntax.S.Analyzer) = Qsp_syntax.Check.get_module t in
+      let (module C : Qsp_syntax.S.Analyzer) = Qsp_checks.Check.get_module t in
       if String.equal C.identifier identifier then C.active := false)
 
 let enable_module modules identifier =
@@ -37,7 +37,7 @@ let enable_module modules identifier =
     String.sub identifier ~pos:1 ~len:(String.length identifier - 1)
   in
   List.iter modules ~f:(fun t ->
-      let (module C : Qsp_syntax.S.Analyzer) = Qsp_syntax.Check.get_module t in
+      let (module C : Qsp_syntax.S.Analyzer) = Qsp_checks.Check.get_module t in
       if String.equal C.identifier identifier then C.active := true)
 
 let speclist printer =
@@ -74,7 +74,7 @@ let speclist printer =
   common_arguments @ windows_arguments
 
 let parse :
-    modules:Qsp_syntax.Check.t list ->
+    modules:Qsp_checks.Check.t list ->
     list_tests:(Format.formatter -> unit) ->
     string list * t =
  fun ~modules ~list_tests ->
-- 
cgit v1.2.3