1 files changed, 1 insertions, 1 deletions

diff --git a/bin/dune b/bin/dune
index 5e8e55c..e7f82e3 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,4 +1,4 @@
 (executable
  (public_name power_prover)
  (name main)
- (libraries power_prover))
+ (libraries power_prover dream))