Merge PR #8961: dune: link kernel in checker instead of copying files

1 files changed, 1 insertions, 1 deletions

diff --git a/dev/dune b/dev/dune
index 7dfaa616b6..792da6254a 100644
--- a/dev/dune
+++ b/dev/dune
@@ -10,7 +10,7 @@
 (rule
   (targets dune-dbg)
   (deps dune-dbg.in
-        ../checker/main.bc
+        ../checker/coqchk.bc
         ../topbin/coqtop_byte_bin.bc
         ; This is not enough as the call to `ocamlfind` will fail :/
         top_printers.cma)