diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 14:09:11 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 14:09:11 +0200 |
| commit | de33eb3865a19e2fcc527de18e611de0703cb83a (patch) | |
| tree | a9a4e9fa415795e1946a1894ef10ac7a430de742 /gcc/ada/fname-uf.adb | |
| parent | 1b7c8d39fb9f98a73adfd125b5f3b768c6401cd2 (diff) | |
| download | gcc-de33eb3865a19e2fcc527de18e611de0703cb83a.tar.gz | |
[multiple changes]
2017-04-27 Bob Duff <duff@adacore.com>
* g-dyntab.ads, g-dyntab.adb: Add assertions to subprograms that
can reallocate.
* atree.adb, elists.adb, fname-uf.adb, ghost.adb, inline.adb,
* lib.adb, namet.adb, nlists.adb, sem.adb, sinput.adb, stringt.adb:
Reorder code so that above assertions do not fail.
* table.ads: Remove obsolete comment on Locked.
2017-04-27 Claire Dross <dross@adacore.com>
* a-cfdlli.ads: Code cleanup.
2017-04-27 Yannick Moy <moy@adacore.com>
* exp_spark.adb (Expand_SPARK_Freeze_Type): Build a DIC procedure
when needed for proof. (Expand_SPARK): Call the new procedure.
* exp_util.ads Fix typo.
2017-04-27 Gary Dismukes <dismukes@adacore.com>
* a-cofuma.ads, a-cfhama.ads: Minor reformatting, grammar, and typo
fixes.
From-SVN: r247323
Diffstat (limited to 'gcc/ada/fname-uf.adb')
| -rw-r--r-- | gcc/ada/fname-uf.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/fname-uf.adb b/gcc/ada/fname-uf.adb index 416557666e2..dea7a0020bc 100644 --- a/gcc/ada/fname-uf.adb +++ b/gcc/ada/fname-uf.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2017, 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- -- @@ -549,8 +549,8 @@ package body Fname.UF is procedure Lock is begin - SFN_Table.Locked := True; SFN_Table.Release; + SFN_Table.Locked := True; end Lock; ------------------- |