diff --git a/tests/playground/rbmap.ml b/tests/playground/rbmap.ml index ea4323020f..8fc04a8ed9 100644 --- a/tests/playground/rbmap.ml +++ b/tests/playground/rbmap.ml @@ -67,4 +67,4 @@ let v = fold (fun k v r -> if v then r + 1 else r) m 0 in Printf.printf "%8d\n" v; v;; -main 4000000;; +main (int_of_string Sys.argv.(1));;