From 367df34f8a7ee619c0eb1c40cfa9d2bb432027ec Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 14 May 2019 14:10:09 +0200
Subject: Add aucontext debug printer

---
 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 a6ecec7e33..82f2e79549 100644
--- a/dev/top_printers.dbg
+++ b/dev/top_printers.dbg
@@ -62,6 +62,7 @@ install_printer Top_printers.ppuni_level
 install_printer Top_printers.ppuniverse_set
 install_printer Top_printers.ppuniverse_instance
 install_printer Top_printers.ppuniverse_context
+install_printer Top_printers.ppaucontext
 install_printer Top_printers.ppuniverse_context_set
 install_printer Top_printers.ppuniverse_subst
 install_printer Top_printers.ppuniverse_opt_subst
-- 
cgit v1.2.3