From e2135c2f5fd8846c30d8099eed523fe06202b614 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 12 Mar 2017 13:16:27 +0100
Subject: Updating core.dbg after ltac moved to plugins directory.

---
 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 698db63d23..f04e5c07b7 100644
--- a/dev/core.dbg
+++ b/dev/core.dbg
@@ -16,4 +16,4 @@ load_printer vernac.cma
 load_printer stm.cma
 load_printer toplevel.cma
 load_printer highparsing.cma
-load_printer ltac.cma
+load_printer ltac_plugin.cmo
-- 
cgit v1.2.3