From 737b4c19d14a12e05ec862d23f8f29ff790a73c2 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Thu, 27 Feb 2025 23:20:45 -0300
Subject: add partition and debugger

---
 dune-project | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 661cecd..a5631f0 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,5 @@
 (lang dune 3.16)
+(map_workspace_root false)
 
 (using ctypes 0.3)
 
-- 
cgit v1.2.3