1 files changed, 2 insertions, 2 deletions
diff --git a/dev/dune b/dev/dune
index 792da6254a..ffa885a008 100644
--- a/dev/dune
+++ b/dev/dune
@@ -3,7 +3,7 @@
  (public_name coq.top_printers)
  (synopsis "Coq's Debug Printers")
  (wrapped false)
- (modules :standard)
+ (modules top_printers)
  (optional)
  (libraries coq.toplevel coq.plugins.ltac))
 
@@ -11,7 +11,7 @@
   (targets dune-dbg)
   (deps dune-dbg.in
         ../checker/coqchk.bc
-        ../topbin/coqtop_byte_bin.bc
+        ../topbin/coqc_bin.bc
         ; This is not enough as the call to `ocamlfind` will fail :/
         top_printers.cma)
   (action (copy dune-dbg.in dune-dbg)))