From 3bdfd3a8b4f2e00c0529c0d194f75c4c78dd8ee0 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 23 Mar 2021 11:28:07 +0100
Subject: Fix debug printers

---
 dev/dune-dbg.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/dune-dbg.in')

diff --git a/dev/dune-dbg.in b/dev/dune-dbg.in
index 47dfbad3a0..cc8574c6d6 100755
--- a/dev/dune-dbg.in
+++ b/dev/dune-dbg.in
@@ -26,4 +26,4 @@ esac
 
 emacs="${INSIDE_EMACS:+-emacs}"
 
-ocamldebug $emacs $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe "$@"
+ocamldebug $emacs $(ocamlfind query -recursive -i-format coq-core.top_printers) -I +threads -I dev $exe "$@"
-- 
cgit v1.2.3