1 files changed, 0 insertions, 13 deletions
diff --git a/gcc/ada/libgnat/s-widlli.ads b/gcc/ada/libgnat/s-widlli.ads
index 3490b3f..a977096 100644
--- a/gcc/ada/libgnat/s-widlli.ads
+++ b/gcc/ada/libgnat/s-widlli.ads
@@ -31,24 +31,11 @@
 
 --  Width attribute for signed integers larger than Integer
 
---  Preconditions in this unit are meant for analysis only, not for run-time
---  checking, so that the expected exceptions are raised. This is enforced by
---  setting the corresponding assertion policy to Ignore. Postconditions and
---  contract cases should not be executed at runtime as well, in order not to
---  slow down the execution of these functions.
-
-pragma Assertion_Policy (Pre            => Ignore,
-                         Post           => Ignore,
-                         Contract_Cases => Ignore,
-                         Ghost          => Ignore);
-
 with System.Width_I;
 
 package System.Wid_LLI
   with SPARK_Mode
 is
-
    function Width_Long_Long_Integer is new Width_I (Long_Long_Integer);
    pragma Pure_Function (Width_Long_Long_Integer);
-
 end System.Wid_LLI;