From d7172fbf2d7ae98ea0471a58c21f93671280d50e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 9 Nov 2018 19:27:37 +0100
Subject: Fix dune-dbg using checker/main -> checker/coqchk

---
 dev/dune        | 2 +-
 dev/dune-dbg.in | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/dune b/dev/dune
index bfa2d525c9..29a20ac17f 100644
--- a/dev/dune
+++ b/dev/dune
@@ -9,7 +9,7 @@
 (rule
   (targets dune-dbg)
   (deps dune-dbg.in
-        ../checker/main.bc
+        ../checker/coqchk.bc
         ../topbin/coqtop_byte_bin.bc
         ; This is not enough as the call to `ocamlfind` will fail :/
         top_printers.cma)
diff --git a/dev/dune-dbg.in b/dev/dune-dbg.in
index 3f3df23fe1..80ad0500e0 100755
--- a/dev/dune-dbg.in
+++ b/dev/dune-dbg.in
@@ -3,7 +3,7 @@
 # Run in a proper install dune env.
 case $1 in
     checker)
-        exe=_build/default/checker/main.bc
+        exe=_build/default/checker/coqchk.bc
         ;;
     *)
         exe=_build/default/topbin/coqtop_byte_bin.bc
-- 
cgit v1.2.3