From 8bba34395e520ac606fc3efd0a875699fe968e69 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 20 Sep 2015 00:08:35 +0200
Subject: Better debug printers for module paths.

Now distinguishes between bound modules (Top#X) and submodules (Top.X).

Could be useful for the regular printer as well (e.g. in error messages), but I
don't know what the compatibility constraints are, so leaving it as it is for
now.
---
 dev/db | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/db')

diff --git a/dev/db b/dev/db
index f259b50eb3..ece22b3f44 100644
--- a/dev/db
+++ b/dev/db
@@ -13,6 +13,7 @@ install_printer Top_printers.ppexistentialset
 install_printer Top_printers.ppintset
 install_printer Top_printers.pplab
 install_printer Top_printers.ppdir
+install_printer Top_printers.ppmbid
 install_printer Top_printers.ppmp
 install_printer Top_printers.ppkn
 install_printer Top_printers.ppcon
-- 
cgit v1.2.3