[dune] [dbg] Fix coqide target after CoqIDE move.

Fixes #12496

1 files changed, 1 insertions, 1 deletions

diff --git a/dev/dune b/dev/dune
index bdae51b434..a6d88c94d2 100644
--- a/dev/dune
+++ b/dev/dune
@@ -13,7 +13,7 @@
     dune-dbg.in
     ../checker/coqchk.bc
     ../topbin/coqc_bin.bc
-    ../ide/coqide_main.bc
+    ../ide/coqide/coqide_main.bc
     ; We require all the OCaml libs to be in place and searchable
     ; by OCamlfind, this is a bit of a hack but until Dune gets
     ; proper ocamldebug support we have to live with that.