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);