From 73ff6b10d530dcd63a6557b3149b651b79a5c310 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Fri, 13 Sep 2024 17:22:49 +0100 Subject: [PATCH] Remove uncessary `result` library --- src/bin/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/dune b/src/bin/dune index c6a814f..9b8e9ba 100644 --- a/src/bin/dune +++ b/src/bin/dune @@ -6,7 +6,7 @@ (promote (into ../..) (until-clean)) - (libraries benchpress containers cmdliner result uuidm logs logs.cli + (libraries benchpress containers cmdliner uuidm logs logs.cli sqlite3_utils base64) (flags :standard -warn-error -a+8 -safe-string -open Benchpress))