diff options
Diffstat (limited to 'dev/dune')
| -rw-r--r-- | dev/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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. |