From aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Sun, 25 May 2014 22:38:39 +0200 Subject: Simplify protocols & stuff --- src/primes.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/primes.ml') 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 () = -- cgit v1.2.3