Return properly bounded value when binary search fails
commit92fc5447eb981f8d92db1e9f085ee1bc67ae2f77
authormalc <av1474@comtv.ru>
Thu, 11 Oct 2012 06:48:28 +0000 (11 10:48 +0400)
committermalc <av1474@comtv.ru>
Thu, 11 Oct 2012 06:48:28 +0000 (11 10:48 +0400)
treefbf8728971b74baa8a3990a3c0f68f90b041dda5
parentc6b819933a3280cf66f4e282c7b7a28216e46889
Return properly bounded value when binary search fails
main.ml