1 files changed, 0 insertions, 6 deletions
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))