From 6ada3862d96f82e44b3b19dd84d08cbb8c6a6006 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 4 Nov 2023 17:16:16 +0100
Subject: Allow test to be enabled or disabled by command line

---
 lib/syntax/check.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/syntax/check.ml')

diff --git a/lib/syntax/check.ml b/lib/syntax/check.ml
index 59eaaf1..c5dfe74 100644
--- a/lib/syntax/check.ml
+++ b/lib/syntax/check.ml
@@ -110,6 +110,7 @@ end
 module Make (A : App) = struct
   let identifier = "main_checker"
   let description = "Internal module"
+  let active = ref false
 
   (* Global variable for the whole module *)
   let len = Array.length A.t
-- 
cgit v1.2.3