From 4b2ae1c652f4b9de389d71d1f274bb332f694974 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 3 Oct 2020 16:30:49 +0200
Subject: Adding debugging printer for stacks of EConstr.

---
 dev/top_printers.dbg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/top_printers.dbg')

diff --git a/dev/top_printers.dbg b/dev/top_printers.dbg
index 21d6fbe9aa..bfc186c862 100644
--- a/dev/top_printers.dbg
+++ b/dev/top_printers.dbg
@@ -46,6 +46,7 @@ install_printer Top_printers.pp_idpred
 install_printer Top_printers.pp_cpred
 install_printer Top_printers.pp_transparent_state
 install_printer Top_printers.pp_stack_t
+install_printer Top_printers.pp_estack_t
 install_printer Top_printers.pp_state_t
 install_printer Top_printers.ppmetas
 install_printer Top_printers.ppevm
-- 
cgit v1.2.3