diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-05-21 12:59:01 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 14:59:01 +0200 |
| commit | 9db78a423bbd92dfbfcaa5b33b040da21540d647 (patch) | |
| tree | a9c4d05c4a3190c9a2def7a43a2c7ffcef3fa0a1 /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 63b5225b44626f58396430f11b1592f3b7f155f4 (diff) | |
| download | gcc-9db78a423bbd92dfbfcaa5b33b040da21540d647.zip gcc-9db78a423bbd92dfbfcaa5b33b040da21540d647.tar.gz gcc-9db78a423bbd92dfbfcaa5b33b040da21540d647.tar.bz2 | |
sem_ch13.adb: Minor reformatting.
2014-05-21 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb: Minor reformatting.
* lib-xref-spark_specific.adb, sem_util.adb: Minor reformatting.
* sem_prag.adb: Minor error message improvement.
From-SVN: r210701
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index aea8b2c..7e7d52b 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -23,9 +23,9 @@ -- -- ------------------------------------------------------------------------------ -with SPARK_Xrefs; use SPARK_Xrefs; with Einfo; use Einfo; with Nmake; use Nmake; +with SPARK_Xrefs; use SPARK_Xrefs; with GNAT.HTable; |