From 4be73be561379cff6b0e5966e020d90387085034 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 10 May 2019 07:48:39 +0200 Subject: psl: add psl-types, psl-nodes_priv. --- src/vhdl/vhdl-sem_psl.adb | 1 + 1 file changed, 1 insertion(+) (limited to 'src/vhdl/vhdl-sem_psl.adb') diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index 6bb25e347..d6ead5002 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -17,6 +17,7 @@ -- 02111-1307, USA. with Types; use Types; +with PSL.Types; use PSL.Types; with PSL.Nodes; use PSL.Nodes; with PSL.Subsets; with PSL.Hash; -- cgit v1.2.3