diff options
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 0b783fa6b82..17b9fcb9eb3 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1759,9 +1759,7 @@ package body Checks is procedure Apply_Predicate_Check (N : Node_Id; Typ : Entity_Id) is begin - if Etype (N) /= Typ - and then Present (Predicate_Function (Typ)) - then + if Present (Predicate_Function (Typ)) then Insert_Action (N, Make_Predicate_Check (Typ, Duplicate_Subexpr (N))); end if; |