diff options
| author | Chimrod <> | 2023-11-04 17:16:16 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-11-04 17:16:16 +0100 |
| commit | 6ada3862d96f82e44b3b19dd84d08cbb8c6a6006 (patch) | |
| tree | e2fa4e223c4ce0f3945af76f9e82e887b307a95b /lib/syntax/check.ml | |
| parent | 673da2554d3e667e0a62d5c7bbf30999f1295dc1 (diff) | |
Allow test to be enabled or disabled by command line
Diffstat (limited to 'lib/syntax/check.ml')
| -rw-r--r-- | lib/syntax/check.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |