From 333dfa30bc5ded37f9f870530984ba9b3747d70f Mon Sep 17 00:00:00 2001 From: Patrick Ferris Date: Mon, 31 Oct 2022 20:21:28 +0000 Subject: [PATCH] Fix executable dune file --- src/bin/dune | 2 +- src/bin/main.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/bin/dune b/src/bin/dune index 39ea109..8a2c53d 100644 --- a/src/bin/dune +++ b/src/bin/dune @@ -1,4 +1,4 @@ (executable (name main) (public_name clarke) - (libraries eio_main eio.unix clarke cmdliner)) + (libraries eio_luv eio.unix clarke cmdliner)) diff --git a/src/bin/main.ml b/src/bin/main.ml index 268ec25..3fac045 100644 --- a/src/bin/main.ml +++ b/src/bin/main.ml @@ -105,4 +105,4 @@ let main_cmd env = let default = Term.(ret @@ const (`Help (`Pager, None))) in Cmd.group info ~default (cmds env) -let () = Eio_main.run @@ fun env -> exit (Cmd.eval_result (main_cmd env)) +let () = Eio_luv.run @@ fun env -> exit (Cmd.eval_result (main_cmd env))