diff options
| -rw-r--r-- | src/lib/gnat/system.ads | 1 |
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); |