diff options
Diffstat (limited to 'gcc/ada/libgnat/a-strsup.ads')
| -rw-r--r-- | gcc/ada/libgnat/a-strsup.ads | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gcc/ada/libgnat/a-strsup.ads b/gcc/ada/libgnat/a-strsup.ads index 65d13ed..68098ea 100644 --- a/gcc/ada/libgnat/a-strsup.ads +++ b/gcc/ada/libgnat/a-strsup.ads @@ -42,10 +42,11 @@ -- 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); +pragma Assertion_Policy (Pre => Ignore, + Post => Ignore, + Contract_Cases => Ignore, + Ghost => Ignore, + Ghost_Predicate => Ignore); with Ada.Strings.Maps; use type Ada.Strings.Maps.Character_Mapping_Function; with Ada.Strings.Search; |