aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-canon_psl.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-05-10 07:48:39 +0200
committerTristan Gingold <tgingold@free.fr>2019-05-10 18:14:47 +0200
commit4be73be561379cff6b0e5966e020d90387085034 (patch)
tree3f94ac029b17dfe7cd1593487d45333254d7e921 /src/vhdl/vhdl-canon_psl.ads
parentdb7d0b337e85c3b327efa799418ef92de3a369ce (diff)
downloadghdl-4be73be561379cff6b0e5966e020d90387085034.tar.gz
ghdl-4be73be561379cff6b0e5966e020d90387085034.tar.bz2
ghdl-4be73be561379cff6b0e5966e020d90387085034.zip
psl: add psl-types, psl-nodes_priv.
Diffstat (limited to 'src/vhdl/vhdl-canon_psl.ads')
-rw-r--r--src/vhdl/vhdl-canon_psl.ads2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-canon_psl.ads b/src/vhdl/vhdl-canon_psl.ads
index d5805d480..7fe9820c9 100644
--- a/src/vhdl/vhdl-canon_psl.ads
+++ b/src/vhdl/vhdl-canon_psl.ads
@@ -16,8 +16,8 @@
-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
-with Types; use Types;
with Vhdl.Nodes; use Vhdl.Nodes;
+with PSL.Types; use PSL.Types;
package Vhdl.Canon_PSL is
-- Version of Canon.Canon_Extract_Sensitivity for PSL nodes.