From ad8c2b7dab1b0759d1c304350523d6d2cc9c7b24 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 28 Dec 2020 22:02:22 +0100
Subject: Register a printer for fconstr substitutions in the kernel.

---
 dev/include_printers | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev/include_printers')

diff --git a/dev/include_printers b/dev/include_printers
index 7583762970..414468ca65 100644
--- a/dev/include_printers
+++ b/dev/include_printers
@@ -54,4 +54,6 @@
 
 #install_printer  (* fconstr *) ppfconstr;;
 
+#install_printer  (* fsubst *) ppfsubst;;
+
 #install_printer (* Future.computation *) ppfuture;;
-- 
cgit v1.2.3