From 374c09e8b0560f150266deb324004e482f4c424e Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Thu, 19 Jan 2017 14:02:30 +0100
Subject: [multiple changes]

2017-01-19  Hristian Kirtchev  <kirtchev@adacore.com>

	* lib-xref-spark_specific.adb: Minor reformatting.
	* exp_ch7.adb (Add_Parent_Invariants): Do not process array types.

2017-01-19  Tristan Gingold  <gingold@adacore.com>

	* fe.h (Constant_Value): Export.

From-SVN: r244628
---
 gcc/ada/lib-xref-spark_specific.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gcc/ada/lib-xref-spark_specific.adb')

diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index 14948d5..dfbe4dd 100644
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -703,7 +703,7 @@ package body SPARK_Specific is
 
       declare
          Drefs_Table : Drefs.Table_Type
-           renames Drefs.Table (Drefs.First .. Drefs.Last);
+                         renames Drefs.Table (Drefs.First .. Drefs.Last);
       begin
          Xrefs.Append_All (Xrefs.Table_Type (Drefs_Table));
          Nrefs := Nrefs + Drefs_Table'Length;
-- 
cgit v1.1