From 4444768d3f4f9c4fcdd440f7ab902886bd8e2b09 Mon Sep 17 00:00:00 2001
From: Thomas Sibut-Pinote
Date: Tue, 23 Jun 2015 14:49:01 +0200
Subject: Moved fatal_error from Coqtop to Errors and corrected dependencies
 accordingly.

This allows fatal_error to be used for printing anomalies at loading time.
---
 grammar/grammar.mllib | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'grammar')

diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib
index 0b168377d9..60ea0df026 100644
--- a/grammar/grammar.mllib
+++ b/grammar/grammar.mllib
@@ -1,6 +1,7 @@
 Coq_config
 
 Hook
+Terminal
 Canary
 Hashset
 Hashcons
@@ -19,12 +20,14 @@ Serialize
 Stateid
 Feedback
 Pp
-Errors
+
 CList
 CString
 CArray
 CStack
 Util
+Ppstyle
+Errors
 Bigint
 Predicate
 Segmenttree
-- 
cgit v1.2.3