From 69de932f9116b30adfd689d38e35ace63aef0e2d Mon Sep 17 00:00:00 2001
From: filip <“filip.rabiega@gmail.com”>
Date: Fri, 16 Aug 2024 14:11:00 +0200
Subject: added api

---
 bin/dune | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bin/dune')

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))
-- 
cgit v1.2.3