diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_util.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 36af89b..801db80 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -1860,7 +1860,7 @@ package body Exp_Util is -- procedures can never be called in any case, so not generating the -- check at all is OK). - if not Is_Abstract_Type (DIC_Typ) then + if not Is_Abstract_Type (DIC_Typ) or else GNATprove_Mode then Add_DIC_Check (DIC_Prag => DIC_Prag, DIC_Expr => Expr, |