Merge PR #9068: [dune] Minor tweak of dependencies.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/dune b/lib/dune
index 232c208aa6..8c6ef06e99 100644
--- a/lib/dune
+++ b/lib/dune
@@ -4,4 +4,4 @@
  (public_name coq.lib)
  (wrapped false)
  (modules_without_implementation xml_datatype)
- (libraries threads coq.clib coq.config))
+ (libraries dynlink coq.clib coq.config))