diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:32:34 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:32:34 +0100 |
| commit | 8f1fe1f8cee02a23f50c17550032120a157d974b (patch) | |
| tree | 04975a0cf498a24b34820c197f025db881455226 | |
| parent | ce06d6418fc2863db4b1db8d8d7794cc7c1067ad (diff) | |
| download | gcc-8f1fe1f8cee02a23f50c17550032120a157d974b.zip gcc-8f1fe1f8cee02a23f50c17550032120a157d974b.tar.gz gcc-8f1fe1f8cee02a23f50c17550032120a157d974b.tar.bz2 | |
Minor reformatting.
From-SVN: r244697
| -rw-r--r-- | gcc/ada/scn.ads | 6 | ||||
| -rw-r--r-- | gcc/ada/sem_prag.adb | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/scn.ads b/gcc/ada/scn.ads index ea7b22b..f5628a9 100644 --- a/gcc/ada/scn.ads +++ b/gcc/ada/scn.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-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- -- @@ -44,8 +44,8 @@ package Scn is -- source index for reading the configuration pragma file. function Determine_Token_Casing return Casing_Type; - -- Determines the casing style of the current token, which is - -- either a keyword or an identifier. See also package Casing. + -- Determines the casing style of the current token, which is either a + -- keyword or an identifier. See also package Casing. procedure Post_Scan; -- Create nodes for tokens: Char_Literal, Identifier, Real_Literal, diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 9d2490f..f42d3f9 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -21348,7 +21348,7 @@ package body Sem_Prag is procedure Set_SPARK_Context is begin - SPARK_Mode := Mode_Id; + SPARK_Mode := Mode_Id; SPARK_Mode_Pragma := N; end Set_SPARK_Context; |