From c5bc3a4992b4968780c286a084ad7c02b2b58f1e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Fri, 3 Apr 2026 16:04:05 -0300
Subject: Polarity walker, constraint and manipulation refactor with batteries

---
 bin/dune | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'bin')

diff --git a/bin/dune b/bin/dune
index 27cf07a..5a6c7d4 100644
--- a/bin/dune
+++ b/bin/dune
@@ -11,9 +11,3 @@
  (modules server)
  (libraries relational_engine unix)
  (modes byte exe))
-
-(executable
- (name bench)
- (modules bench)
- (libraries relational_engine unix)
- (modes exe))
-- 
cgit v1.2.3