From 9d427050993403c6e80f7c5254a1fbc2fd20fc09 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 14 Nov 2014 21:47:46 +0100
Subject: grt: add more restrictions.

---
 src/grt/grt.adc | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/grt')

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;
-- 
cgit v1.2.3