From 0ec44c655631e9b735425ebc4530f4defabeafd3 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Tue, 23 Jun 2026 11:04:10 +0200 Subject: [PATCH] Fix cmdliner flag Cmdliner is a acting a bit weird whether `opt bool false` requires an argument or not, but the right thing is to use `flag` anyway. Signed-off-by: Marek Kubica --- bin/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/main.ml b/bin/main.ml index 3ee4bd5..990982f 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -4,7 +4,7 @@ open Cmdliner module Common_args = struct let testing = let doc = "Run in test configuration." in - Arg.(value & opt bool false & info ~doc [ "testing" ]) + Arg.(value & flag & info ~doc [ "testing" ]) ;; let commit =