diff options
Diffstat (limited to 'src/grt/grt.adc')
-rw-r--r-- | src/grt/grt.adc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt.adc b/src/grt/grt.adc index 9be35f1b4..71c315b71 100644 --- a/src/grt/grt.adc +++ b/src/grt/grt.adc @@ -46,4 +46,5 @@ pragma restrictions (no_dependence => GNAT); pragma Restrictions (Max_Tasks => 0); pragma Restrictions (No_Task_Hierarchy); pragma Restrictions (No_Implicit_Heap_Allocations); +pragma Suppress (Overflow_Check); pragma No_Run_Time; |