diff options
| author | Bob Duff <duff@adacore.com> | 2024-10-01 16:31:10 -0400 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-25 11:09:03 +0200 |
| commit | 12d625e3f01cfe375320aef4ff8095c50b91d709 (patch) | |
| tree | ce2559ad60eae0b6690a17c1689071108a7c67ab /gcc/ada/gcc-interface | |
| parent | 58e34ecbe57586ebc3111e938ebcaa35b188f939 (diff) | |
| download | gcc-12d625e3f01cfe375320aef4ff8095c50b91d709.zip gcc-12d625e3f01cfe375320aef4ff8095c50b91d709.tar.gz gcc-12d625e3f01cfe375320aef4ff8095c50b91d709.tar.bz2 | |
ada: Back out part of previous change -- disable warning
Temporarily disable the warning, because it breaks
SPARK continuous builder
gcc/ada/ChangeLog:
* sem_ch10.adb (Analyze_With_Clause): Temporarily disable warning.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions