From 7fb7c9ede2b44bac35b08d810ec9a08358d0267b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 11 Jun 2020 16:38:48 +0200
Subject: [dune] [dbg] Fix coqide target after CoqIDE move.

Fixes #12496
---
 dev/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/dune')

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.
-- 
cgit v1.2.3