projects
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2cc2e96
)
Minor reformatting.
author
Arnaud Charlet
<charlet@gcc.gnu.org>
Mon, 2 May 2016 10:10:21 +0000
(12:10 +0200)
committer
Arnaud Charlet
<charlet@gcc.gnu.org>
Mon, 2 May 2016 10:10:21 +0000
(12:10 +0200)
From-SVN: r235737
gcc/ada/lib-xref-spark_specific.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/lib-xref-spark_specific.adb
b/gcc/ada/lib-xref-spark_specific.adb
index 46f7b3a98008009d74afcdfbf8a202297bd5efd2..c05029a3704eb028f6def9d23814dfb8a865783a 100644
(file)
--- a/
gcc/ada/lib-xref-spark_specific.adb
+++ b/
gcc/ada/lib-xref-spark_specific.adb
@@
-1065,9
+1065,9
@@
package body SPARK_Specific is
if Nkind_In (N, N_Defining_Identifier, N_Defining_Operator_Symbol)
and then (Ekind (N) in Entry_Kind
- or else Ekind (N) = E_Subprogram_Body
- or else Ekind (N) in Generic_Subprogram_Kind
- or else Ekind (N) in Subprogram_Kind)
+
or else Ekind (N) = E_Subprogram_Body
+
or else Ekind (N) in Generic_Subprogram_Kind
+
or else Ekind (N) in Subprogram_Kind)
then
Context := Parent (Unit_Declaration_Node (N));