From 6b363405d67d29350f84a0c13e0b6c4297257271 Mon Sep 17 00:00:00 2001 From: tmeissner Date: Thu, 14 Oct 2021 12:05:46 +0200 Subject: synth: Support PSL declarations in inline PSL --- src/synth/synth-vhdl_stmts.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/synth') 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); -- cgit v1.2.3