1 files changed, 3 insertions, 2 deletions
diff --git a/dev/dune b/dev/dune
index 792da6254a..11e42f97f3 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,8 @@
   (targets dune-dbg)
   (deps dune-dbg.in
         ../checker/coqchk.bc
-        ../topbin/coqtop_byte_bin.bc
+        ../topbin/coqc_bin.bc
+        ../ide/coqide_main.bc
         ; This is not enough as the call to `ocamlfind` will fail :/
         top_printers.cma)
   (action (copy dune-dbg.in dune-dbg)))