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

(limited to 'dev/dune_db_408')

diff --git a/dev/dune_db_408 b/dev/dune_db_408
index 5f826fe383..bc86020d56 100644
--- a/dev/dune_db_408
+++ b/dev/dune_db_408
@@ -17,6 +17,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