1 files changed, 43 insertions, 0 deletions
diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb
index 0fb8f9e..0703afc 100644
--- a/gcc/ada/errout.adb
+++ b/gcc/ada/errout.adb
@@ -1402,6 +1402,49 @@ package body Errout is
       return S;
    end First_Sloc;
 
+   ----------------------
+   -- Formal_Error_Msg --
+   ----------------------
+
+   procedure Formal_Error_Msg (Msg : String; Flag_Location : Source_Ptr) is
+   begin
+      pragma Assert (Formal_Verification_Mode);
+      Error_Msg ("(" & Formal_Language & ") " & Msg, Flag_Location);
+   end Formal_Error_Msg;
+
+   ------------------------
+   -- Formal_Error_Msg_N --
+   ------------------------
+
+   procedure Formal_Error_Msg_N (Msg : String; N : Node_Id) is
+   begin
+      pragma Assert (Formal_Verification_Mode);
+      Error_Msg_N ("(" & Formal_Language & ") " & Msg, N);
+   end Formal_Error_Msg_N;
+
+   -------------------------
+   -- Formal_Error_Msg_NE --
+   -------------------------
+
+   procedure Formal_Error_Msg_NE
+     (Msg : String;
+      N   : Node_Or_Entity_Id;
+      E   : Node_Or_Entity_Id) is
+   begin
+      pragma Assert (Formal_Verification_Mode);
+      Error_Msg_NE ("(" & Formal_Language & ") " & Msg, N, E);
+   end Formal_Error_Msg_NE;
+
+   -------------------------
+   -- Formal_Error_Msg_SP --
+   -------------------------
+
+   procedure Formal_Error_Msg_SP (Msg : String) is
+   begin
+      pragma Assert (Formal_Verification_Mode);
+      Error_Msg_SP ("(" & Formal_Language & ") " & Msg);
+   end Formal_Error_Msg_SP;
+
    ----------------
    -- Initialize --
    ----------------