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/dead_end.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/syntax/dead_end.ml') 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 -- cgit v1.2.3