Skip to content

Commit

Permalink
Fix dune deps
Browse files Browse the repository at this point in the history
  • Loading branch information
patricoferris committed Apr 19, 2024
1 parent cb4897c commit 08872ed
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/bin/dune
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
(name main)
(public_name shark)
(libraries
eio_main
eio_posix
shark
shark.server
lwt.unix
Expand Down

0 comments on commit 08872ed

Please sign in to comment.