From e56efc19f71898d798c44b5955fe74451ee0fc6f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 10:07:23 -0300
Subject: lexicographic order proven well founded, checker extracted and
 verifying admission

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

(limited to 'lib/dune')

diff --git a/lib/dune b/lib/dune
index 3f8be6f..896800b 100644
--- a/lib/dune
+++ b/lib/dune
@@ -7,7 +7,7 @@
 ; are the source of truth; the generated module is a build artifact.
 (rule
  (targets decrease_extracted.ml decrease_extracted.mli)
- (deps extract.v ../theories/DecreaseChecker.vo)
+ (deps extract.v ../theories/DecreaseChecker.vo ../theories/Lex.vo)
  (action
   (setenv OCAMLPATH ""
    (run coqc -q -Q ../theories "" extract.v))))
-- 
cgit v1.2.3