From 3702225c48a2db3cce92b96ca1648b16806c6abb Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Mon, 2 May 2016 11:12:46 +0200
Subject: Minor reformatting.

From-SVN: r235711
---
 gcc/ada/sem_attr.adb | 1 -
 1 file changed, 1 deletion(-)

(limited to 'gcc/ada/sem_attr.adb')

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index d071f02..6d8f8fc 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -4980,7 +4980,6 @@ package body Sem_Attr is
             --  type may lead to spurious errors if context is a case.
 
             if not GNATprove_Mode then
-
                if not Is_Discrete_Type (Pref_Typ) then
                   Pref_Typ := Base_Type (Pref_Typ);
                end if;
-- 
cgit v1.1