Driver: removed unused dependency in dune file

panglesd · jonludlam · commit 8611d0e2d832 · 2024-07-29T11:43:46.000+01:00
Signed-off-by: Paul-Elliot &lt;peada@free.fr&gt;
diff --git a/src/driver/dune b/src/driver/dune
@@ -13,5 +13,4 @@
   opam-format
   logs
   logs.fmt
-  result
   eio_main))
