From 65413b559c9d5a4ddae5e165e47542f8592e7a09 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 1 Jun 2018 08:23:16 +0200
Subject: Add No_Secondary_Stack restriction.

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

(limited to 'src/grt')

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