From 68d26922e31aad3cb34dd3b7689bcec75ad70fcb Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 25 Sep 2014 07:38:09 +0200
Subject: Add a python script to automatically generate disp_tree.

---
 libraries.ads | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'libraries.ads')

diff --git a/libraries.ads b/libraries.ads
index 3a89c473b..ecb048c94 100644
--- a/libraries.ads
+++ b/libraries.ads
@@ -59,6 +59,9 @@ package Libraries is
    --  for library directories.
    Name_Nil : Name_Id;
 
+   --  Chain of obsoleted design units.
+   Obsoleted_Design_Units : Iir := Null_Iir;
+
    --  Initialize library pathes table.
    --  Set the local path.
    procedure Init_Pathes;
-- 
cgit v1.2.3