From 82eefbb3353be2d6b60064ce88a64d68b15c0f2e Mon Sep 17 00:00:00 2001 From: swrup Date: Wed, 5 Nov 2025 21:57:06 +0100 Subject: [PATCH] --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index c9a63a75..c58c8ebb 100644 --- a/src/dune +++ b/src/dune @@ -1,4 +1,4 @@ (library (name mte) (wrapped false) - (libraries logs h1 h2)) + (libraries logs h2))