From c00895f45e429461284aeaabea0f8b3f234f0a5f Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 18 Feb 2019 16:35:59 +0100
Subject: Remove undefined install_printer ppcumulativity_info

---
 dev/top_printers.dbg | 2 --
 1 file changed, 2 deletions(-)

(limited to 'dev')

diff --git a/dev/top_printers.dbg b/dev/top_printers.dbg
index eab88c7290..a6ecec7e33 100644
--- a/dev/top_printers.dbg
+++ b/dev/top_printers.dbg
@@ -70,8 +70,6 @@ install_printer Top_printers.ppevar_universe_context
 install_printer Top_printers.ppconstraints
 install_printer Top_printers.ppuniverseconstraints
 install_printer Top_printers.ppuniverse_context_future
-install_printer Top_printers.ppcumulativity_info
-install_printer Top_printers.ppabstract_cumulativity_info
 install_printer Top_printers.ppuniverses
 install_printer Top_printers.ppnamedcontextval
 install_printer Top_printers.ppenv
-- 
cgit v1.2.3