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