From 3d33b59d725760bee14668c744b057a75440012e Mon Sep 17 00:00:00 2001
From: Thomas Sibut-Pinote <thomas.sibut-pinote@inria.fr>
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.
---
 checker/check.mllib | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'checker')

diff --git a/checker/check.mllib b/checker/check.mllib
index 22df37562..49ca6bf05 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -1,6 +1,7 @@
 Coq_config
 
 Hook
+Terminal
 Canary
 Hashset
 Hashcons
@@ -23,13 +24,14 @@ Pp
 Segmenttree
 Unicodetable
 Unicode
-Errors
 CObj
 CList
 CString
 CArray
 CStack
 Util
+Ppstyle
+Errors
 Ephemeron
 Future
 CUnix
-- 
cgit v1.2.3