diff options
Diffstat (limited to 'src/ghdldrv')
| -rw-r--r-- | src/ghdldrv/ghdlmain.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdlmain.adb b/src/ghdldrv/ghdlmain.adb index 00047e6d6..2715e6f20 100644 --- a/src/ghdldrv/ghdlmain.adb +++ b/src/ghdldrv/ghdlmain.adb @@ -349,7 +349,7 @@ package body Ghdlmain is Decode_Option (Cmd, Arg.all, "", Res); case Res is when Option_Unknown => - Error ("unknown option '" & Arg.all & "'"); + Error ("unknown command option '" & Arg.all & "'"); raise Option_Error; when Option_Err => raise Option_Error; |