diff options
Diffstat (limited to 'gcc/ada/a-sytaco.adb')
| -rw-r--r-- | gcc/ada/a-sytaco.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/a-sytaco.adb b/gcc/ada/a-sytaco.adb index 62bced2adec..ab7c9ad1629 100644 --- a/gcc/ada/a-sytaco.adb +++ b/gcc/ada/a-sytaco.adb @@ -34,7 +34,9 @@ with Ada.Exceptions; with System.Tasking; with System.Task_Primitives.Operations; -package body Ada.Synchronous_Task_Control is +package body Ada.Synchronous_Task_Control with + SPARK_Mode => Off +is ---------------- -- Initialize -- |