diff options
| author | Robert Dewar <dewar@adacore.com> | 2015-01-30 15:31:01 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-30 16:31:01 +0100 |
| commit | 622599c6d2359ad2f43445754be185b0b177430a (patch) | |
| tree | e0c41518ab48b912730cce663dd22e701f2c51b3 /gcc/ada/a-assert.adb | |
| parent | 0d1476cb57fbc0f647fd681ae1255ace57f5cb06 (diff) | |
| download | gcc-622599c6d2359ad2f43445754be185b0b177430a.tar.gz | |
a-assert.adb: Minor reformatting.
2015-01-30 Robert Dewar <dewar@adacore.com>
* a-assert.adb: Minor reformatting.
* sem_ch13.adb: Minor comment clarification.
* types.ads: Minor comment update.
* sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Avoid blow up
when we have a predicate that is nothing but an inherited dynamic
predicate.
From-SVN: r220290
Diffstat (limited to 'gcc/ada/a-assert.adb')
| -rw-r--r-- | gcc/ada/a-assert.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/a-assert.adb b/gcc/ada/a-assert.adb index 54b84b4e750..bfdcd157245 100644 --- a/gcc/ada/a-assert.adb +++ b/gcc/ada/a-assert.adb @@ -32,7 +32,6 @@ package body Ada.Assertions with SPARK_Mode is - ------------ -- Assert -- ------------ |