diff options
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util.ml b/src/util.ml index b37ae4f..ae1f049 100644 --- a/src/util.ml +++ b/src/util.ml @@ -3,7 +3,7 @@ open Unix let (@@) a b = a b type id = int * int -let new_id () : id = (Random.int 100000, Random.int 100000) +let new_id () : id = (Random.int 10000000, Random.int 10000000) let id_str (a, b) = Format.sprintf "%d.%d" a b (* make_addr : string -> int -> sockaddr *) |