[ocamldebug] Fix load order after gramlib refactoring.

coq · Feb 11, 2019 · 1c7576b · 1c7576b
1 parent aa66e4b
commit 1c7576b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/core_dune.dbg b/dev/core_dune.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 byterun.cma
 load_printer kernel.cma
 load_printer library.cma