remove unused dep

c-cube · Dec 28, 2023 · 6aeb1ea · 6aeb1ea
1 parent 6227708
commit 6aeb1ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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))))