diff --git a/dune b/dune
index 0fcbb311..f3469950 100644
--- a/dune
+++ b/dune
@@ -1,6 +1,7 @@
 (rule
  (alias runtest)
  (deps
+  (package msat)
   README.md
   src/core/msat.cma
   src/sat/msat_sat.cma