From c4740b7295ac2822b31b38e6ef557d29157e2f99 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 25 Feb 2019 14:51:16 +0100
Subject: [PATCH] test(tests/playground/rbmap.ml): take the same input as Lean
 version

---
 tests/playground/rbmap.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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));;