diff --git a/gnat.adc b/gnat.adc
index eab8a17ad0..e9a1c8025c 100644
--- a/gnat.adc
+++ b/gnat.adc
@@ -10,7 +10,6 @@ pragma Restrictions (No_Implicit_Loops);
 pragma Restrictions (No_Initialize_Scalars);
 pragma Restrictions (No_Local_Allocators);
 pragma Restrictions (No_Recursion);
-pragma Restrictions (No_Secondary_Stack);
 pragma Restrictions (No_Streams);
 pragma Restrictions (No_Tasking);
 pragma Restrictions (No_Unchecked_Access);
diff --git a/spark.adc b/spark.adc
index 576a120390..e595c3d719 100644
--- a/spark.adc
+++ b/spark.adc
@@ -10,7 +10,6 @@ pragma Restrictions (No_Implicit_Loops);
 pragma Restrictions (No_Initialize_Scalars);
 pragma Restrictions (No_Local_Allocators);
 pragma Restrictions (No_Recursion);
-pragma Restrictions (No_Secondary_Stack);
 pragma Restrictions (No_Streams);
 pragma Restrictions (No_Tasking);
 pragma Restrictions (No_Unchecked_Access);