diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-09 14:27:08 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:16:07 -0500 |
| commit | 607695354a57bce732b027828614bceda0e393eb (patch) | |
| tree | 1157ba4cc44e02f7a53013e6a66b3206529e3790 /libcpp/include/cpplib.h | |
| parent | eafca96ffb53fdd805193635fda8b1e718532f2a (diff) | |
| download | gcc-607695354a57bce732b027828614bceda0e393eb.zip gcc-607695354a57bce732b027828614bceda0e393eb.tar.gz gcc-607695354a57bce732b027828614bceda0e393eb.tar.bz2 | |
[Ada] Fix inconsistent parameter of SPARK_Msg_NE
gcc/ada/
* sem_prag.adb (Analyze_Global_Item): Call SPARK_Msg_NE with the
entity, not with its identifier.
Diffstat (limited to 'libcpp/include/cpplib.h')
0 files changed, 0 insertions, 0 deletions