diff options
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 564f153..92bc3c6 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -477,7 +477,7 @@ begin -- executable. This action must be performed very late because it -- heavily alters the tree. - if Operating_Mode = Generate_Code or else GNATprove_Mode then + if Operating_Mode = Generate_Code and not CodePeer_Mode then Remove_Ignored_Ghost_Code; end if; |