diff --git a/benchs/run_benchs.ml b/benchs/run_benchs.ml index ad756618..af191949 100644 --- a/benchs/run_benchs.ml +++ b/benchs/run_benchs.ml @@ -989,4 +989,5 @@ module Thread = struct end let () = - B.Tree.run_global () + try B.Tree.run_global () + with Arg.Help msg -> print_endline msg