diff options
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt-options.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index d3d7a260e..dda5d09ac 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -435,7 +435,7 @@ package body Grt.Options is Wave_Opt.File.Start (Option (18 .. Option'Last), To_Be_Created => True); elsif not Grt.Hooks.Call_Option_Hooks (Option) then - Error_S ("unknown option '"); + Error_S ("unknown run option '"); Diag_C (Option); Error_E ("', try --help"); end if; |