diff options
Diffstat (limited to 'gcc/ada/par-util.adb')
| -rw-r--r-- | gcc/ada/par-util.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/par-util.adb b/gcc/ada/par-util.adb index 6a0e8efc6cb..eeb93af639a 100644 --- a/gcc/ada/par-util.adb +++ b/gcc/ada/par-util.adb @@ -377,6 +377,16 @@ package body Util is null; end Discard_Junk_Node; + ------------------------- + -- 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; + ------------ -- Ignore -- ------------ |
