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 +-
 dev/top_printers.dbg | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

(limited to 'dev')

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 "$@"
diff --git a/dev/top_printers.dbg b/dev/top_printers.dbg
index fe95a59d9b..5d37c60bca 100644
--- a/dev/top_printers.dbg
+++ b/dev/top_printers.dbg
@@ -12,7 +12,6 @@ install_printer Top_printers.ppmind
 install_printer Top_printers.ppind
 install_printer Top_printers.ppsp
 install_printer Top_printers.ppqualid
-install_printer Top_printers.ppclindex
 install_printer Top_printers.ppscheme
 install_printer Top_printers.ppwf_paths
 install_printer Top_printers.ppevar
-- 
cgit v1.2.3