diff --git a/_tags b/_tags index f2f6e473..f1907502 100644 --- a/_tags +++ b/_tags @@ -3,5 +3,6 @@ : thread : thread : inline(25) +: inline(15) and not : warn_A, warn(-4), warn(-44) true: no_alias_deps, safe_string diff --git a/benchs/run_benchs.ml b/benchs/run_benchs.ml index ad3a7509..b628ec92 100644 --- a/benchs/run_benchs.ml +++ b/benchs/run_benchs.ml @@ -412,7 +412,7 @@ module Tbl = struct "persistent_array_find", (fun () -> persistent_array_find pa n), (); "imap_find", (fun () -> imap_find m n), (); "intmap_find", (fun () -> intmap_find m' n), (); - "cchashtbl_find", (fun () -> icchashtbl_find h'''''' n), (); + "ccflathashtbl_find", (fun () -> icchashtbl_find h'''''' n), (); ] let () = B.Tree.register (