diff options
Diffstat (limited to 'translate/ghdldrv/ghdldrv.adb')
| -rw-r--r-- | translate/ghdldrv/ghdldrv.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/translate/ghdldrv/ghdldrv.adb b/translate/ghdldrv/ghdldrv.adb index 8a30df5..72500ef 100644 --- a/translate/ghdldrv/ghdldrv.adb +++ b/translate/ghdldrv/ghdldrv.adb @@ -649,8 +649,7 @@ package body Ghdldrv is elsif Opt (3) = 'l' then Add_Arguments (Linker_Args, Opt); else - Error - ("unknown tool name in '-W" & Opt (3) & ",' option"); + Error ("unknown tool name in '-W" & Opt (3) & ",' option"); raise Option_Error; end if; Res := Option_Ok; |