From 7a8c4003ef5071d6b9bc248e997d0397304e8491 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 11 Feb 2020 22:07:31 +0100
Subject: Move the cbn reduction to its own file, and simplify the RAKAM
 accordingly.

---
 dev/include_printers | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev/include_printers')

diff --git a/dev/include_printers b/dev/include_printers
index d077075eeb..30529b5fd6 100644
--- a/dev/include_printers
+++ b/dev/include_printers
@@ -27,7 +27,6 @@
 #install_printer  (* id set *) ppidset;;
 #install_printer  (* int set *) ppintset;;
 
-#install_printer  (* Reductionops stcak of unfolded constants *) pp_cst_stack_t;;
 #install_printer  (* Reductionops machine stack *) pp_stack_t;;
 
 (*#install_printer  (* hint_db *)  print_hint_db;;*)
-- 
cgit v1.2.3