From d5d15af811a487e65f8c10dfb68d5608f3722f8a Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sat, 30 Nov 2013 18:58:57 +0100
Subject: Adding printing of ltac envs to debugger.

---
 dev/db | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/db')

diff --git a/dev/db b/dev/db
index 10926be08..88cd9b057 100644
--- a/dev/db
+++ b/dev/db
@@ -39,3 +39,4 @@ install_printer Top_printers.prsubst
 install_printer Top_printers.prdelta
 install_printer Top_printers.ppfconstr
 install_printer Top_printers.ppgenarginfo
+install_printer Top_printers.ppist
-- 
cgit v1.2.3