diff --git a/dune-project b/dune-project
index aaf19572..3bd0efec 100644
--- a/dune-project
+++ b/dune-project
@@ -9,6 +9,8 @@
 
 (version 0.12)
 
+(implicit_transitive_deps false)
+
 (authors "the Imandra team and contributors")
 
 (maintainers