From c376f1d763370e52bb989e8de443b2b6867fcdeb Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 2 Feb 2019 19:10:17 -0600
Subject: [PATCH] fix: msat.tseitin depends on msat

---
 src/tseitin/dune | 1 +
 1 file changed, 1 insertion(+)

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)