From 37d33fb7b2f43e275a98d22561080758fcdfc601 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 24 Jun 2019 18:37:53 +0200
Subject: libraries: add Get_Library_No_Create.

---
 src/libraries.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/libraries.ads')

diff --git a/src/libraries.ads b/src/libraries.ads
index 900cb67cf..396ba8885 100644
--- a/src/libraries.ads
+++ b/src/libraries.ads
@@ -107,6 +107,10 @@ package Libraries is
    function Find_Primary_Unit
      (Library: Iir_Library_Declaration; Name: Name_Id) return Iir_Design_Unit;
 
+   --  Get the library named IDENT.  Return Null_Iir if it doesn't exist.
+   function Get_Library_No_Create (Ident : Name_Id)
+                                  return Iir_Library_Declaration;
+
    --  Get or create a library from an identifier.
    --  LOC is used only to report errors.
    function Get_Library (Ident : Name_Id; Loc : Location_Type)
-- 
cgit v1.2.3