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))))