aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
diff options
context:
space:
mode:
authortmeissner <programming@goodcleanfun.de>2021-10-14 12:05:46 +0200
committertgingold <tgingold@users.noreply.github.com>2021-10-14 22:16:18 +0200
commit6b363405d67d29350f84a0c13e0b6c4297257271 (patch)
tree12d09847ca00c8f28bd37a71becccd504e9ca440 /src/synth
parent37a7c43bab3917d0e1ba4a78c6e3957fcbff3771 (diff)
downloadghdl-6b363405d67d29350f84a0c13e0b6c4297257271.tar.gz
ghdl-6b363405d67d29350f84a0c13e0b6c4297257271.tar.bz2
ghdl-6b363405d67d29350f84a0c13e0b6c4297257271.zip
synth: Support PSL declarations in inline PSL
Diffstat (limited to 'src/synth')
-rw-r--r--src/synth/synth-vhdl_stmts.adb3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/synth/synth-vhdl_stmts.adb b/src/synth/synth-vhdl_stmts.adb
index d54cabf76..cd27c4c5d 100644
--- a/src/synth/synth-vhdl_stmts.adb
+++ b/src/synth/synth-vhdl_stmts.adb
@@ -3677,7 +3677,8 @@ package body Synth.Vhdl_Stmts is
end if;
when Iir_Kind_Block_Statement =>
Synth_Block_Statement (Syn_Inst, Stmt);
- when Iir_Kind_Psl_Default_Clock =>
+ when Iir_Kind_Psl_Default_Clock
+ | Iir_Kind_Psl_Declaration =>
null;
when Iir_Kind_Psl_Restrict_Directive =>
Synth_Psl_Restrict_Directive (Syn_Inst, Stmt);