diff options
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 3861903..16f2a25 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -410,9 +410,12 @@ begin -- Comment needed for ASIS mode test and GNATprove mode test??? + pragma Assert + (Operating_Mode = Generate_Code + or else Operating_Mode = Check_Semantics); + if Operating_Mode = Generate_Code - or else (Operating_Mode = Check_Semantics - and then (ASIS_Mode or GNATprove_Mode)) + or else (ASIS_Mode or GNATprove_Mode) then Instantiate_Bodies; end if; |