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/dune_db_409 | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/dune_db_409')

diff --git a/dev/dune_db_409 b/dev/dune_db_409
index 2e58272c75..adb1f76872 100644
--- a/dev/dune_db_409
+++ b/dev/dune_db_409
@@ -16,6 +16,7 @@ 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