summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 01:14:12 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 01:14:12 +0200
commit8109ab47f06c12b1ca1317d0077b88094ce11464 (patch)
treef9e97c1da1d7bd5074f4fb4a5bf6c6852028549a
parent4a5ca97b0970e191332fb6fb4684a397b93390f5 (diff)
downloadSystemeReseaux-Projet-8109ab47f06c12b1ca1317d0077b88094ce11464.tar.gz
SystemeReseaux-Projet-8109ab47f06c12b1ca1317d0077b88094ce11464.zip
Nothing.
-rw-r--r--src/example.ml2
-rw-r--r--src/primes.ml2
-rw-r--r--src/util.ml2
3 files changed, 6 insertions, 0 deletions
diff --git a/src/example.ml b/src/example.ml
index 1b0f274..7b6f23e 100644
--- a/src/example.ml
+++ b/src/example.ml
@@ -1,3 +1,5 @@
+open Util
+
module Example (K : Kahn.S) = struct
module K = K
module Lib = Kahn.Lib(K)
diff --git a/src/primes.ml b/src/primes.ml
index a95fb64..592fdc9 100644
--- a/src/primes.ml
+++ b/src/primes.ml
@@ -1,3 +1,5 @@
+open Util
+
module Primes (K : Kahn.S) = struct
module K = K
module Lib = Kahn.Lib(K)
diff --git a/src/util.ml b/src/util.ml
index 5502398..5155fd7 100644
--- a/src/util.ml
+++ b/src/util.ml
@@ -1,5 +1,7 @@
open Unix
+let (@@) a b = a b
+
type id = int * int
let new_id () : id = (Random.int 100000, Random.int 100000)
let id_str (a, b) = Format.sprintf "%d.%d" a b