max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

test(tests/playground/rbmap.ml): take the same input as Lean version

Browse source
This commit is contained in:
Sebastian Ullrich 2019-02-25 14:51:16 +01:00
parent 0f9c52367d
commit c4740b7295
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/playground/rbmap.ml
View file

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