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 -
 dev/doc/coq-src-description.txt | 5 -----
 2 files changed, 6 deletions(-)

(limited to 'dev')

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
diff --git a/dev/doc/coq-src-description.txt b/dev/doc/coq-src-description.txt
index 00e7f5c53c..2dbd132da7 100644
--- a/dev/doc/coq-src-description.txt
+++ b/dev/doc/coq-src-description.txt
@@ -14,11 +14,6 @@ parsing
 tactics
 toplevel
 
-highparsing :
-
- Files in parsing/ that cannot be linked too early.
- Contains the grammar rules g_*.ml4
-
 Special components
 ------------------
 
-- 
cgit v1.2.3