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 +
 dev/core_dune.dbg | 1 +
 dev/dune_db_408   | 1 +
 dev/dune_db_409   | 1 +
 4 files changed, 4 insertions(+)

(limited to 'dev')

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
diff --git a/dev/core_dune.dbg b/dev/core_dune.dbg
index 4e1035f7b6..3f73cf126a 100644
--- a/dev/core_dune.dbg
+++ b/dev/core_dune.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
diff --git a/dev/dune_db_408 b/dev/dune_db_408
index 3bf13da62d..5f826fe383 100644
--- a/dev/dune_db_408
+++ b/dev/dune_db_408
@@ -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
diff --git a/dev/dune_db_409 b/dev/dune_db_409
index 1267fd5393..2e58272c75 100644
--- a/dev/dune_db_409
+++ b/dev/dune_db_409
@@ -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 lib.cma
-- 
cgit v1.2.3