Use specialized Arg constructor for setting boolean flag

Frama-C · Dec 8, 2022 · 2911efc · 2911efc
1 parent 33903d9
commit 2911efc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/headache_tool.ml b/headache_tool.ml
@@ -240,7 +240,7 @@ let main () =
   "               Extract headers from files";
 
   "-v",
-  Arg.Unit (fun () -> verbose := true),
+  Arg.Set verbose,
   "               Enable verbose output";
 
   ]