diff --git a/gnat.adc b/gnat.adc
index eab8a17..e9a1c80 100644
--- a/gnat.adc
+++ b/gnat.adc
@@ -10,7 +10,6 @@
 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 576a120..e595c3d 100644
--- a/spark.adc
+++ b/spark.adc
@@ -10,7 +10,6 @@
 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);