From 1f79e46323f89fc14e7e4de5a8e5307b17334a4c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Tue, 22 May 2018 21:27:21 +0200
Subject: Fixing debugger after #6859 (loading dynlink.cma before lib.cma).

---
 dev/checker.dbg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/checker.dbg')

diff --git a/dev/checker.dbg b/dev/checker.dbg
index 9c9ab29e0..b2323b617 100644
--- a/dev/checker.dbg
+++ b/dev/checker.dbg
@@ -1,5 +1,6 @@
 load_printer threads.cma
 load_printer str.cma
 load_printer clib.cma
+load_printer dynlink.cma
 load_printer lib.cma
 load_printer check.cma
-- 
cgit v1.2.3