From 3d33b59d725760bee14668c744b057a75440012e 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.
---
 dev/printers.mllib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 2f78c2e915..74f36f6f5a 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -27,13 +27,14 @@ Pp
 Segmenttree
 Unicodetable
 Unicode
-Errors
 CObj
 CList
 CString
 CArray
 CStack
 Util
+Ppstyle
+Errors
 Bigint
 Dyn
 CUnix
@@ -154,7 +155,6 @@ Tok
 Lexer
 Ppextend
 Pputils
-Ppstyle
 Ppannotation
 Stdarg
 Constrarg
-- 
cgit v1.2.3