diff options
| -rw-r--r-- | src/grt/grt.adc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/grt/grt.adc b/src/grt/grt.adc index 12091ce18..635f95fad 100644 --- a/src/grt/grt.adc +++ b/src/grt/grt.adc @@ -48,6 +48,8 @@ pragma Restrictions (No_Implicit_Heap_Allocations); pragma Restrictions (No_Initialize_Scalars); pragma Suppress (Overflow_Check); +pragma Restrictions (No_Secondary_Stack); + -- Too strong: -- pragma Restrictions (No_Elaboration_Code); |