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.
---
 toplevel/coqtop.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 934e73aae9..a04678a1b9 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -20,12 +20,6 @@ let () = at_exit flush_all
 
 let ( / ) = Filename.concat
 
-let fatal_error info anomaly =
-  let msg = info ++ fnl () in
-  pp_with ~pp_tag:Ppstyle.pp_tag !Pp_control.err_ft msg;
-  flush_all ();
-  exit (if anomaly then 129 else 1)
-
 let get_version_date () =
   try
     let ch = open_in (Envars.coqlib () / "revision") in
-- 
cgit v1.2.3