remove unused dep

This commit is contained in:
Simon Cruanes 2023-12-27 21:20:08 -05:00
parent 622770808d
commit 6aeb1ea007
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

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