aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_case.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/sem_case.adb')
-rw-r--r--gcc/ada/sem_case.adb2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb
index 5042c9e..bb732b7 100644
--- a/gcc/ada/sem_case.adb
+++ b/gcc/ada/sem_case.adb
@@ -1611,7 +1611,7 @@ package body Sem_Case is
begin
while Present (Comp) loop
if Chars (First (Choices (Comp))) = Orig_Name then
- pragma Assert (not Present (Matching_Comp));
+ pragma Assert (No (Matching_Comp));
Matching_Comp := Comp;
end if;