diff options
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt.adc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt.adc b/src/grt/grt.adc index f2284997d..9be35f1b4 100644 --- a/src/grt/grt.adc +++ b/src/grt/grt.adc @@ -38,9 +38,12 @@ pragma Restrictions (No_Exception_Handlers); --pragma restrictions (No_Exceptions); pragma Restrictions (No_Secondary_Stack); --pragma Restrictions (No_Elaboration_Code); +pragma Restrictions (No_Dispatch); pragma Restrictions (No_Io); +pragma Restrictions (No_Finalization); pragma restrictions (no_dependence => Ada.Tags); pragma restrictions (no_dependence => GNAT); pragma Restrictions (Max_Tasks => 0); +pragma Restrictions (No_Task_Hierarchy); pragma Restrictions (No_Implicit_Heap_Allocations); pragma No_Run_Time; |