From 6aeb1ea007652d3cbcdaa28d1c63c97a5ffa8842 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 27 Dec 2023 21:20:08 -0500 Subject: [PATCH] remove unused dep --- src/util/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/dune b/src/util/dune index 7d7f2a4..39f8bcb 100644 --- a/src/util/dune +++ b/src/util/dune @@ -3,7 +3,7 @@ (public_name trace.private.util) (synopsis "internal utilities for trace. No guarantees of stability.") (name trace_private_util) - (libraries trace.core mtime mtime.clock.os atomic unix threads + (libraries trace.core mtime mtime.clock.os unix threads (select domain_util.ml from (base-domain -> domain_util.real.ml) ( -> domain_util.dummy.ml))))