1 files changed, 8 insertions, 0 deletions
diff --git a/src/grt/grt-errors.adb b/src/grt/grt-errors.adb
index ed93668..29da112 100644
--- a/src/grt/grt-errors.adb
+++ b/src/grt/grt-errors.adb
@@ -238,6 +238,14 @@ package body Grt.Errors is
       Newline_Err;
    end Info;
 
+   procedure Warning (Str : String) is
+   begin
+      Put_Err (Progname);
+      Put_Err (":warning: ");
+      Put_Err (Str);
+      Newline_Err;
+   end Warning;
+
    procedure Internal_Error (Msg : String) is
    begin
       Put_Err (Progname);