From 26a94c92410720f9ad3cdb2f163f3b8cca3a326d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 29 May 2020 18:47:14 +0200
Subject: psl-nodes: set a location on false/true/one/EOS nodes.  Fix #1345

---
 src/options.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/options.adb')

diff --git a/src/options.adb b/src/options.adb
index 2e04f977e..31f5c89b5 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -35,7 +35,7 @@ package body Options is
    begin
       Std_Names.Std_Names_Initialize;
       Libraries.Init_Paths;
-      PSL.Nodes.Init;
+      PSL.Nodes.Init (Libraries.Library_Location);
       PSL.Dump_Tree.Dump_Hdl_Node := Vhdl.Disp_Tree.Disp_Tree_For_Psl'Access;
       Vhdl.Errors.Initialize;
    end Initialize;
-- 
cgit v1.2.3