diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-08-21 10:41:03 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-08-21 10:41:03 +0200 |
| commit | 78b29a7a47636cb2fda1112f3e2ec8167c3e7d66 (patch) | |
| tree | 0651b9bee5aa863ccb7a93ff6226be19311b5053 /src/grt/grt-errors.ads | |
| parent | 61665a183e94cf8edaebb336c34df24a02ef45fd (diff) | |
| download | ghdl-78b29a7a47636cb2fda1112f3e2ec8167c3e7d66.tar.gz ghdl-78b29a7a47636cb2fda1112f3e2ec8167c3e7d66.tar.bz2 ghdl-78b29a7a47636cb2fda1112f3e2ec8167c3e7d66.zip | |
grt-errors: remove error_hook (was unused)
Diffstat (limited to 'src/grt/grt-errors.ads')
| -rw-r--r-- | src/grt/grt-errors.ads | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/grt/grt-errors.ads b/src/grt/grt-errors.ads index 0df4773b8..9e88f6265 100644 --- a/src/grt/grt-errors.ads +++ b/src/grt/grt-errors.ads @@ -22,7 +22,6 @@ -- covered by the GNU Public License. with Grt.Types; use Grt.Types; with Grt.Vhdl_Types; use Grt.Vhdl_Types; -with Grt.Hooks; with Grt.Stdio; package Grt.Errors is @@ -120,9 +119,6 @@ package Grt.Errors is -- Stop/finish request from user (via std.env). Run_Stop : constant Integer := 5; - -- Hook called in case of error. - Error_Hook : Grt.Hooks.Proc_Hook_Type := null; - -- If true, an error is expected and the exit status is inverted. Expect_Failure : Boolean := False; |