From 456a31c93916b34367acdc2c3c0d4f67f73ed496 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 21 Jun 2023 12:22:45 -0400 Subject: [PATCH] dune --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune b/dune index 6ea92b3a..00264a6c 100644 --- a/dune +++ b/dune @@ -2,5 +2,5 @@ (env (_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-70))) -(mdx (libraries moonpool) +(mdx (libraries moonpool threads) (enabled_if (>= %{ocaml_version} 5.0)))