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/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 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