diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/libgnat/s-aridou.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/libgnat/s-aridou.adb b/gcc/ada/libgnat/s-aridou.adb index 7ebf868..2f1fbd5 100644 --- a/gcc/ada/libgnat/s-aridou.adb +++ b/gcc/ada/libgnat/s-aridou.adb @@ -1456,9 +1456,7 @@ is pragma Assert (Big (Double_Uns'(2))**M = Big_2xx (M)); end if; else - pragma Assert - (Big (Double_Uns'(2))**M = - (if M < Double_Size then Big_2xx (M) else Big_2xxDouble)); + pragma Assert (Big (Double_Uns'(2))**M = Big_2xx (M)); end if; end Lemma_Powers_Of_2_Commutation; |