diff options
Diffstat (limited to 'src/libraries.ads')
| -rw-r--r-- | src/libraries.ads | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/libraries.ads b/src/libraries.ads index 1684afaf0..7e6469691 100644 --- a/src/libraries.ads +++ b/src/libraries.ads @@ -114,7 +114,10 @@ package Libraries is -- Get or create a library from an identifier. -- LOC is used only to report errors. - function Get_Library (Ident : Name_Id; Loc : Location_Type) + -- If FORCE is true, then the library is created even if it doesn't exist. + function Get_Library (Ident: Name_Id; + Loc : Location_Type; + Force : Boolean := False) return Iir_Library_Declaration; -- Add or replace an design unit in the work library. |