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-subsets.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/psl/psl-subsets.adb')

diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb
index 520cc32ff..8aaf2b063 100644
--- a/src/psl/psl-subsets.adb
+++ b/src/psl/psl-subsets.adb
@@ -16,8 +16,8 @@
 --  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 --  02111-1307, USA.
 
+with PSL.Types; use PSL.Types;
 with PSL.Errors; use PSL.Errors;
-with Types; use Types;
 
 package body PSL.Subsets is
    procedure Check_Simple (N : Node)
-- 
cgit v1.2.3