diff options
Diffstat (limited to 'gcc/ada/par-prag.adb')
| -rw-r--r-- | gcc/ada/par-prag.adb | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb index 502cb70b253..93a5be90d83 100644 --- a/gcc/ada/par-prag.adb +++ b/gcc/ada/par-prag.adb @@ -893,13 +893,15 @@ begin -- SPARK_95 -- -------------- - -- This pragma must be processed at parse time, since we want to set - -- the SPARK version properly at parse time to recognize the appropriate + -- This pragma must be processed at parse time, since we want to set the + -- SPARK version properly at parse time to recognize the appropriate -- SPARK version syntax. when Pragma_SPARK_95 => SPARK_Version := SPARK_95; - Set_Error_Msg_Lang ("(" & Formal_Language & ") "); + SPARK_Mode := True; + Set_Error_Msg_Lang ("spark"); + Formal_Verification_Mode := True; ------------------------- -- Style_Checks (GNAT) -- |