From 3e078b5b03ca01d3a343b9675355d265b7e8441c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 11 Dec 2018 16:00:39 +0100
Subject: Fixing imports in debug printers: gramlib depends on Loc which is in
 lib.cma.

---
 dev/core.dbg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/core.dbg')

diff --git a/dev/core.dbg b/dev/core.dbg
index f676b643e4..ec946e2df0 100644
--- a/dev/core.dbg
+++ b/dev/core.dbg
@@ -1,10 +1,10 @@
 load_printer threads.cma
 load_printer str.cma
-load_printer gramlib.cma
 load_printer config.cma
 load_printer clib.cma
 load_printer dynlink.cma
 load_printer lib.cma
+load_printer gramlib.cma
 load_printer kernel.cma
 load_printer library.cma
 load_printer engine.cma
-- 
cgit v1.2.3