From d6402faf948f8f22f2d3990e0692086803d5e3ec Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 4 Jun 2023 00:06:24 -0400 Subject: [PATCH] example: detail --- examples/echo_eio.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/examples/echo_eio.ml b/examples/echo_eio.ml index 99013308..21185b64 100644 --- a/examples/echo_eio.ml +++ b/examples/echo_eio.ml @@ -55,7 +55,9 @@ let () = (* create server *) let server : S.t = - S_eio.create ~port:!port_ ~max_connections:!j ~stdenv ~sw () + S_eio.create ~port:!port_ ~max_connections:!j + ~stdenv:(stdenv :> Eio.Stdenv.t) + ~sw () in (* TODO: re-enable