From 129e935dd950191d01f9bfba17889ae1ca49d34b Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 31 Aug 2020 13:03:39 +0200
Subject: Fix load_printers after zarith

---
 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 ec946e2df0..6d52bae773 100644
--- a/dev/core.dbg
+++ b/dev/core.dbg
@@ -1,5 +1,6 @@
 load_printer threads.cma
 load_printer str.cma
+load_printer zarith.cma
 load_printer config.cma
 load_printer clib.cma
 load_printer dynlink.cma
-- 
cgit v1.2.3