From bb0349224767dc87f8d6ada2b7427eb392ac595e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 21:55:51 -0300
Subject: rocq proof: structural decrease is well founded

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

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 0a36d26..4ba98c7 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.7)
+(lang dune 3.17)
 
 (name sol)
 
-- 
cgit v1.2.3