1 files changed, 2 insertions, 2 deletions
diff --git a/bin/dune b/bin/dune
index e7f82e3..991d2d0 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,4 +1,4 @@
 (executable
- (public_name power_prover)
+ (public_name chadprover)
  (name main)
- (libraries power_prover dream))
+ (libraries chadprover api))