par-endh.adb (Check_End): issue a syntax error in SPARK mode for missing label at...

[gcc.git] / gcc / ada / par.adb

diff --git a/gcc/ada/par.adb b/gcc/ada/par.adb
index 99f6806057d7ad1ee5f7a1ffe3ea01595343c3dc..da84343b53a29e5f5096307e56e05b259999d5fb 100644 (file)
--- a/gcc/ada/par.adb
+++ b/gcc/ada/par.adb
@@ -1158,6 +1158,10 @@ function Par (Configuration_Pragmas : Boolean) return List_Id is
       --  the argument. A typical use is to skip by some junk that is not
       --  expected in the current context.
 
+      procedure Formal_Error_Msg_SP (Msg : String);
+      --  Wrapper on Errout.Error_Msg_SP which adds a prefix to Msg giving
+      --  the name of the formal language analyzed (spark or alfa)
+
       procedure Ignore (T : Token_Type);
       --  If current token matches T, then give an error message and skip
       --  past it, otherwise the call has no effect at all. T may be any