From 4be73be561379cff6b0e5966e020d90387085034 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 10 May 2019 07:48:39 +0200
Subject: psl: add psl-types, psl-nodes_priv.

---
 src/psl/psl-nodes.ads | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/psl/psl-nodes.ads')

diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads
index b3887a075..ec3022c35 100644
--- a/src/psl/psl-nodes.ads
+++ b/src/psl/psl-nodes.ads
@@ -17,6 +17,7 @@
 --  02111-1307, USA.
 
 with Types; use Types;
+with PSL.Types; use PSL.Types;
 
 package PSL.Nodes is
    type Nkind is
@@ -425,7 +426,7 @@ package PSL.Nodes is
 
    subtype NFA is Types.PSL_NFA;
 
-   subtype HDL_Node is Types.Int32;
+   subtype HDL_Node is Int32;
    HDL_Null : constant HDL_Node := 0;
 
    -- General methods.
-- 
cgit v1.2.3