diff options
Diffstat (limited to 'src/grt/grt-errors.adb')
-rw-r--r-- | src/grt/grt-errors.adb | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/grt/grt-errors.adb b/src/grt/grt-errors.adb index 5070031e5..11b529014 100644 --- a/src/grt/grt-errors.adb +++ b/src/grt/grt-errors.adb @@ -162,7 +162,7 @@ package body Grt.Errors is procedure Warning_S (Str : String := "") is begin - Diag_C ("warning: "); + Put_Err ("warning: "); Diag_C (Str); end Warning_S; @@ -213,13 +213,17 @@ package body Grt.Errors is Error_E; end Error; - procedure Info (Str : String) is + procedure Info_S (Str : String := "") is begin Put_Err (Progname); Put_Err (":info: "); - Put_Err (Str); + Diag_C (Str); + end Info_S; + + procedure Info_E is + begin Newline_Err; - end Info; + end Info_E; procedure Warning (Str : String) is begin |