From 8cd28ef3318a735820aeac438e21f66bc3784694 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 2 Oct 2019 04:33:16 +0200
Subject: ghdlsynth: display bugbox in case of unknown exception.

---
 src/ghdldrv/ghdlsynth.adb | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb
index a260b2cd7..27af66d97 100644
--- a/src/ghdldrv/ghdlsynth.adb
+++ b/src/ghdldrv/ghdlsynth.adb
@@ -27,6 +27,7 @@ with Errorout;
 with Errorout.Console;
 with Version;
 with Default_Paths;
+with Bug;
 
 with Libraries;
 with Flags;
@@ -244,8 +245,9 @@ package body Ghdlsynth is
    exception
       when Option_Error =>
          return No_Module;
-      when others =>
+      when E: others =>
          --  Avoid possible issues with exceptions...
+         Bug.Disp_Bug_Box (E);
          return No_Module;
    end Ghdl_Synth;
 
-- 
cgit v1.2.3