diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:10:17 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:10:17 +0000 |
| commit | 9eaf25faee9936edd3e68500f547a739b3049cf2 (patch) | |
| tree | 17782362e9211837a9f24856f0f7c0d5c803a897 /gcc/ada/err_vars.ads | |
| parent | 8a8e8da496c163c8d653cc1e8b767070ecb7d0a6 (diff) | |
| download | gcc-9eaf25faee9936edd3e68500f547a739b3049cf2.tar.gz | |
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_aggr.adb, err_vars.ads, sem_ch3.adb, sem_ch5.adb, sem_ch9.adb,
debug.adb, sem_util.adb, sem_res.adb, sem_attr.adb, gnat1drv.adb,
errout.adb, errout.ads, exp_ch6.adb, sem_ch4.adb, restrict.adb,
restrict.ads, sem_ch6.adb, sem_ch8.adb, sem_ch11.adb,
opt.ads: cleanup of SPARK mode
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177175 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/err_vars.ads')
| -rw-r--r-- | gcc/ada/err_vars.ads | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gcc/ada/err_vars.ads b/gcc/ada/err_vars.ads index 2f1b048b398..10a0262bb62 100644 --- a/gcc/ada/err_vars.ads +++ b/gcc/ada/err_vars.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2011, 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- -- @@ -150,9 +150,4 @@ package Err_Vars is -- Used if current message contains a ~ insertion character to indicate -- insertion of the string Error_Msg_String (1 .. Error_Msg_Strlen). - Error_Msg_Lang : String (1 .. 16); - Error_Msg_Langlen : Natural; - -- Used if current message contains a ~~ insertion character to indicate - -- insertion of the string Error_Msg_Lang (1 .. Error_Msg_Langlen). - end Err_Vars; |