fix Random.int usage (64-bit arch)
commit6bb5e9ce12963046b921a138b654a48105e94875
authorygrek <ygrek@autistici.org>
Thu, 20 Jan 2011 10:47:38 +0000 (20 12:47 +0200)
committerygrek <ygrek@autistici.org>
Thu, 20 Jan 2011 10:47:38 +0000 (20 12:47 +0200)
tree24e4d41a6deda02c11eaeb65560278360fa9fe1d
parentb7bcae23c96bd70350c2b682ed80336cd800240a
fix Random.int usage (64-bit arch)
src/networks/bittorrent/bT_DHT.ml