diff --git a/src/tseitin/dune b/src/tseitin/dune
index a9057a53..0a35225d 100644
--- a/src/tseitin/dune
+++ b/src/tseitin/dune
@@ -3,6 +3,7 @@
   (name msat_tseitin)
   (public_name msat.tseitin)
   (synopsis "Tseitin transformation for msat")
+  (libraries msat)
   (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string)
   (ocamlopt_flags :standard -O3 -bin-annot
                   -unbox-closures -unbox-closures-factor 20)