Merge pull request #40 from quantifyearth/pf341-eio-posix

quantifyearth · Apr 19, 2024 · d122342 · d122342
2 parents 1ee51b3 + e2fe111
commit d122342
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/shark.opam b/shark.opam
@@ -16,7 +16,7 @@ depends: [
   "obuilder-spec"
   "cmarkit"
   "yaml"
-  "eio_main" {>= "1.0"}
+  "eio_posix" {>= "1.0"}
   "lwt_eio"
 
   # Markdown Server

diff --git a/src/bin/main.ml b/src/bin/main.ml
@@ -351,7 +351,7 @@ let cmds env =
   ]
 
 let () =
-  Eio_main.run @@ fun env ->
+  Eio_posix.run @@ fun env ->
   Mirage_crypto_rng_eio.run (module Mirage_crypto_rng.Fortuna) env @@ fun () ->
   let doc = "a command-line interface for Shark" in
   let info = Cmd.info ~doc "shark" in