Minor reformatting.

From-SVN: r244697
This commit is contained in:
Arnaud Charlet 2017-01-20 11:32:34 +01:00
parent ce06d6418f
commit 8f1fe1f8ce
2 changed files with 4 additions and 4 deletions

View File

@ -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,

View File

@ -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;