From 9aae44e9c63d4833bf644b21e0ca7d8adab92e3a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 23 Nov 2014 12:23:06 +0100
Subject: Add printer for transparent state for ocamldebug.

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

(limited to 'dev')

diff --git a/dev/db b/dev/db
index 8588f62726..d7131757ab 100644
--- a/dev/db
+++ b/dev/db
@@ -22,6 +22,7 @@ install_printer Top_printers.ppsp
 install_printer Top_printers.ppqualid
 install_printer Top_printers.ppclindex
 install_printer Top_printers.ppbigint
+install_printer Top_printers.pp_transparent_state
 
 install_printer Top_printers.pppattern
 install_printer Top_printers.ppglob_constr
-- 
cgit v1.2.3