From de33eb3865a19e2fcc527de18e611de0703cb83a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 27 Apr 2017 14:09:11 +0200 Subject: [multiple changes] 2017-04-27 Bob Duff * 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 * a-cfdlli.ads: Code cleanup. 2017-04-27 Yannick Moy * 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 * a-cofuma.ads, a-cfhama.ads: Minor reformatting, grammar, and typo fixes. From-SVN: r247323 --- gcc/ada/ghost.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc/ada/ghost.adb') diff --git a/gcc/ada/ghost.adb b/gcc/ada/ghost.adb index 0e65b7b..beb05f4 100644 --- a/gcc/ada/ghost.adb +++ b/gcc/ada/ghost.adb @@ -1091,8 +1091,8 @@ package body Ghost is procedure Lock is begin - Ignored_Ghost_Units.Locked := True; Ignored_Ghost_Units.Release; + Ignored_Ghost_Units.Locked := True; end Lock; ----------------------------------- -- cgit v1.1