diff options
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 |