diff options
| author | Martin Liska <mliska@suse.cz> | 2022-11-08 12:36:43 +0100 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-11-08 12:36:43 +0100 |
| commit | 4b13c73bba935443be3207abf26f7ba05f79badc (patch) | |
| tree | a6bb1525d07859fa8fc6f61dd13df7ddfd1ac254 /gcc/ada/exp_spark.adb | |
| parent | 33f5dde0cd15df9cf89b29280d4ff5fcf7b30e66 (diff) | |
| parent | fa271afb58423014e2feef9f15c1a87428e64ddc (diff) | |
| download | gcc-devel/sphinx.tar.gz | |
Merge branch 'master' into devel/sphinxdevel/sphinx
Diffstat (limited to 'gcc/ada/exp_spark.adb')
| -rw-r--r-- | gcc/ada/exp_spark.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb index c89d604aa80..ba7bd7fe5d2 100644 --- a/gcc/ada/exp_spark.adb +++ b/gcc/ada/exp_spark.adb @@ -895,7 +895,7 @@ package body Exp_SPARK is procedure SPARK_Freeze_Type (N : Entity_Id) is Typ : constant Entity_Id := Entity (N); - Renamed_Eq : Node_Id; + Renamed_Eq : Entity_Id; -- Defining unit name for the predefined equality function in the case -- where the type has a primitive operation that is a renaming of -- predefined equality (but only if there is also an overriding |