diff options
| author | Bob Duff <duff@adacore.com> | 2021-06-21 07:08:03 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-20 12:31:30 +0000 |
| commit | b8d31ebcfa99599fb2c213e319aee4c6cf6e4f72 (patch) | |
| tree | 7e4f839bbd63dc411661d8e7cb39ff22a2dfde39 /gcc/ada/layout.adb | |
| parent | dae0df6cd979c71c7ed1c60b9203f2a41b03e20e (diff) | |
| download | gcc-b8d31ebcfa99599fb2c213e319aee4c6cf6e4f72.zip gcc-b8d31ebcfa99599fb2c213e319aee4c6cf6e4f72.tar.gz gcc-b8d31ebcfa99599fb2c213e319aee4c6cf6e4f72.tar.bz2 | |
[Ada] Fix assertion in GNATprove_Mode
gcc/ada/
* gnat1drv.adb (Gnat1drv): Avoid calling List_Rep_Info in
Generate_SCIL and GNATprove_Mode.
* repinfo.adb (List_Common_Type_Info): Fix comment.
Diffstat (limited to 'gcc/ada/layout.adb')
0 files changed, 0 insertions, 0 deletions