Remove other dependency to Domainslib

OlivierNicole · OlivierNicole · commit e70012e64378 · 2024-05-02T00:43:35.000+02:00
diff --git a/lib/dune b/lib/dune
@@ -53,4 +53,4 @@
  (name util)
  (public_name qcheck-multicoretests-util)
  (modules util)
- (libraries qcheck-core.runner unix domainslib))
+ (libraries qcheck-core.runner unix))
