Minor reformatting.
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 2 May 2016 10:10:21 +0000 (12:10 +0200)
committerArnaud 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

index 46f7b3a98008009d74afcdfbf8a202297bd5efd2..c05029a3704eb028f6def9d23814dfb8a865783a 100644 (file)
@@ -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));