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/dead_end.ml | |
| parent | 673da2554d3e667e0a62d5c7bbf30999f1295dc1 (diff) | |
Allow test to be enabled or disabled by command line
Diffstat (limited to 'lib/syntax/dead_end.ml')
| -rw-r--r-- | lib/syntax/dead_end.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/syntax/dead_end.ml b/lib/syntax/dead_end.ml index bb56b2f..98c361e 100644 --- a/lib/syntax/dead_end.ml +++ b/lib/syntax/dead_end.ml @@ -2,6 +2,7 @@ open StdLabels let identifier = "dead_end" let description = "Check for dead end in the code" +let active = ref false module Expression = struct type t = unit |