diff options
Diffstat (limited to 'gcc/ada/exp_spark.ads')
| -rw-r--r-- | gcc/ada/exp_spark.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/exp_spark.ads b/gcc/ada/exp_spark.ads index 750d66b..9fc7f69 100644 --- a/gcc/ada/exp_spark.ads +++ b/gcc/ada/exp_spark.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -35,4 +35,8 @@ package Exp_SPARK is procedure Expand_SPARK (N : Node_Id); + procedure Expand_SPARK_Potential_Renaming (N : Node_Id); + -- N must denote an N_Expanded_Name or N_Identifier. If N is a reference to + -- a renaming, replace N with the renamed object. + end Exp_SPARK; |