diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-03-08 17:46:26 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-16 08:42:03 +0000 |
| commit | 9a39b25f6f52f6eab159a096551e2576fa0890cd (patch) | |
| tree | 3a8549c4b34f9c102287a9fe7c49b43c6edf8e27 /gcc/ada/cstreams.c | |
| parent | 90fadb50df34d11348ec67a1cbbaeac8a28c2da3 (diff) | |
| download | gcc-9a39b25f6f52f6eab159a096551e2576fa0890cd.zip gcc-9a39b25f6f52f6eab159a096551e2576fa0890cd.tar.gz gcc-9a39b25f6f52f6eab159a096551e2576fa0890cd.tar.bz2 | |
[Ada] Remove duplicated detection of user-defined equality
Cleanup related to handling of user-defined equality in GNATprove.
gcc/ada/
* exp_ch3.adb (User_Defined_Eq): Replace duplicated code with a
call to Get_User_Defined_Eq.
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions