1 files changed, 1 insertions, 1 deletions
diff --git a/clib/dune b/clib/dune
index 689a955ab7..10c75d6aa2 100644
--- a/clib/dune
+++ b/clib/dune
@@ -4,5 +4,5 @@
  (public_name coq.clib)
  (wrapped false)
  (modules_without_implementation cSig)
- (libraries threads str unix dynlink))
+ (libraries str unix threads))