diff options
Diffstat (limited to 'gcc/ada/a-reatim.ads')
| -rw-r--r-- | gcc/ada/a-reatim.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/a-reatim.ads b/gcc/ada/a-reatim.ads index 98d9715..8b341c0 100644 --- a/gcc/ada/a-reatim.ads +++ b/gcc/ada/a-reatim.ads @@ -38,7 +38,8 @@ pragma Elaborate_All (System.Task_Primitives.Operations); package Ada.Real_Time with SPARK_Mode, - Abstract_State => (Clock_Time with External => (Async_Readers, + Abstract_State => (Clock_Time with Synchronous, + External => (Async_Readers, Async_Writers)) is |