From db8ad8c1376eef09ef520fd0dd0b6b8d47f17b58 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 14 Nov 2018 18:20:06 +0100
Subject: types: add Fatal_Error.

---
 src/types.ads | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/types.ads b/src/types.ads
index 1ab3c50c2..519ff94ee 100644
--- a/src/types.ads
+++ b/src/types.ads
@@ -158,6 +158,9 @@ package Types is
    --  is detected.
    Internal_Error: exception;
 
+   --  Unrecoverable error.  Just exit() with an error status.
+   Fatal_Error : exception;
+
    --  In some case, a low level subprogram can't handle error
    --  (e.g eval_pos).  In this case it is easier to raise an exception and
    --  let upper level subprograms handle the case.
-- 
cgit v1.2.3