From 6c0c4f1ecc278f6be3edc9970bd950923e3d415d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Louis=20Roch=C3=A9=20=28Ahrefs=29?= Date: Wed, 9 Oct 2024 05:15:45 +0000 Subject: [PATCH] dune: remove unused result dependency --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 5a7dcbb8..b3a8b43e 100644 --- a/src/dune +++ b/src/dune @@ -1,5 +1,5 @@ (executable - (libraries lib cmdliner devkit devkit.core extlib lwt.unix result uri unix) + (libraries lib cmdliner devkit devkit.core extlib lwt.unix uri unix) (preprocess (pps lwt_ppx)) (public_name monorobot))