From 4da2e9f7b6db8f57ce96241e3846ededcdf1816f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 30 May 2019 07:40:53 -0700
Subject: [PATCH] test(tests/bench/rbmap_checkpoint): OCaml version using myLen

---
 tests/bench/rbmap_checkpoint.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/tests/bench/rbmap_checkpoint.ml b/tests/bench/rbmap_checkpoint.ml
index 4f408d8ece..9bcf8798d8 100644
--- a/tests/bench/rbmap_checkpoint.ml
+++ b/tests/bench/rbmap_checkpoint.ml
@@ -63,10 +63,16 @@ else let n = n-1 in
 
 let mk_map n freq = mk_map_aux freq n Leaf [];;
 
+let rec myLen n r =
+match n with
+| (Node (_, _, _, _, _) :: xs) -> myLen xs (r+1)
+| (_ :: xs)      -> myLen xs r
+| []             -> r;;
+
 let main n freq =
 let m = mk_map n freq in
 let v = fold (fun k v r -> if v then r + 1 else r) (List.hd m) 0 in
-Printf.printf "%d %d\n" (List.length m) v;
+Printf.printf "%d %d\n" (myLen m 0) v;
 v;;
 
 main (int_of_string Sys.argv.(1)) (int_of_string Sys.argv.(2));;