summaryrefslogtreecommitdiff
path: root/src/primes.ml
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 22:38:39 +0200
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-05-25 22:38:39 +0200
commitaefaa158e36cd65afa98d6b7c3f0a3d0717e13a4 (patch)
tree70b10cd5e81c385dd5979ac8f338506b38f6e0f0 /src/primes.ml
parent0140792c8111d2dd1cf9004f2e3e602ec34ed30a (diff)
downloadSystemeReseaux-Projet-aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4.tar.gz
SystemeReseaux-Projet-aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4.zip
Simplify protocols & stuff
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 a91b11c..6975b9e 100644
--- a/src/primes.ml
+++ b/src/primes.ml
@@ -41,7 +41,7 @@ module Primes (K : Kahn.S) = struct
end
-module Eng = Kahn_stdio.ProtoKahn
+module Eng = Kahn_seq.Seq
module P = Primes(Eng)
let () =