summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/lib/gnat/system.ads1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lib/gnat/system.ads b/src/lib/gnat/system.ads
index aed5592f73..74ced54492 100644
--- a/src/lib/gnat/system.ads
+++ b/src/lib/gnat/system.ads
@@ -34,7 +34,6 @@
-- --
------------------------------------------------------------------------------
-pragma Restrictions (No_Exception_Propagation);
pragma Restrictions (No_Exception_Registration);
pragma Restrictions (No_Implicit_Dynamic_Code);