diff options
| -rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index 3aeeed1a5..1015d7b22 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -394,7 +394,8 @@ package body Ghdlsynth is return Res; exception - when Option_Error => + when Option_Error + | Errorout.Compilation_Error => return No_Module; when E: others => -- Avoid possible issues with exceptions... |