From 89f30e2891a062f33b2355c701c5565bf529e726 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 23 Oct 2015 16:30:22 +0200 Subject: [PATCH] fix bench --- benchs/run_benchs.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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