From be070cfb10a59be13a478a7efbf92dd3e22401ed Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 27 Jan 2021 11:35:35 +0100
Subject: Add sysinit to load_printer lists

---
 dev/core.dbg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/core.dbg')

diff --git a/dev/core.dbg b/dev/core.dbg
index 6d52bae773..dcf9910b0b 100644
--- a/dev/core.dbg
+++ b/dev/core.dbg
@@ -16,5 +16,6 @@ load_printer parsing.cma
 load_printer printing.cma
 load_printer tactics.cma
 load_printer vernac.cma
+load_printer sysinit.cma
 load_printer stm.cma
 load_printer toplevel.cma
-- 
cgit v1.2.3