diff options
Diffstat (limited to 'libraries.ads')
-rw-r--r-- | libraries.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libraries.ads b/libraries.ads index 18b1c5d57..34ae69830 100644 --- a/libraries.ads +++ b/libraries.ads @@ -55,6 +55,10 @@ package Libraries is -- Local (current) directory. Local_Directory : Name_Id; + -- Correspond to "" (empty identifier). Used to denote current directory + -- for library directories. + Name_Nil : Name_Id; + -- Initialize library pathes table. -- Set the local path. procedure Init_Pathes; |