From 58a5090a85e2deb7332686facd0bf9a3b8106ad5 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 7 Nov 2026 03:41:09 -0300
Subject: bound queries from sakura

---
 tools/run/dune | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 tools/run/dune

(limited to 'tools/run/dune')

diff --git a/tools/run/dune b/tools/run/dune
new file mode 100644
index 0000000..429a4fc
--- /dev/null
+++ b/tools/run/dune
@@ -0,0 +1,3 @@
+(executable
+ (name main)
+ (libraries rnt subsystem batteries unix))
-- 
cgit v1.2.3