summaryrefslogtreecommitdiff
path: root/src/primes.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 21:54:20 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 21:54:20 +0200
commit8456506c0b9c8e78eec2cc464851cef36ca03398 (patch)
tree497522a4422a1290ac3dae006c2808c293216c5d /src/primes.ml
parent60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165 (diff)
downloadSystemeReseaux-Projet-8456506c0b9c8e78eec2cc464851cef36ca03398.tar.gz
SystemeReseaux-Projet-8456506c0b9c8e78eec2cc464851cef36ca03398.zip
Revise build system.
Diffstat (limited to 'src/primes.ml')
-rw-r--r--src/primes.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/primes.ml b/src/primes.ml
index 592fdc9..a91b11c 100644
--- a/src/primes.ml
+++ b/src/primes.ml
@@ -36,7 +36,7 @@ module Primes (K : Kahn.S) = struct
let main : int process =
(delay new_channel ()) >>=
- (fun (q_in, q_out) -> doco [ integers 500 q_out ; primes q_in ])
+ (fun (q_in, q_out) -> doco [ integers 2000 q_out ; primes q_in ])
>>= (fun () -> return 42)
end