From 028de158153de94adfcb9d1e995259d833968951 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 31 Jul 2017 14:24:11 +0200
Subject: [general] Merge parsing with highparsing, put toplevel at the top of
 the linking chain.

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

(limited to 'dev/core.dbg')

diff --git a/dev/core.dbg b/dev/core.dbg
index 71d06cdb0a..18e82c352c 100644
--- a/dev/core.dbg
+++ b/dev/core.dbg
@@ -16,7 +16,6 @@ load_printer tactics.cma
 load_printer vernac.cma
 load_printer stm.cma
 load_printer toplevel.cma
-load_printer highparsing.cma
 load_printer intf.cma
 load_printer API.cma
 load_printer ltac_plugin.cmo
-- 
cgit v1.2.3