aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-prints.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2022-08-15 09:15:10 +0200
committerTristan Gingold <tgingold@free.fr>2022-08-15 16:54:37 +0200
commit988eebde6d076261da5e94344b38445e6ed764f0 (patch)
treee4bf9fcbd2a16b786721cefe0cbf40dfe12dfa8d /src/vhdl/vhdl-prints.adb
parentda59184128af74905eb378b43df3e2047c86a9ec (diff)
downloadghdl-988eebde6d076261da5e94344b38445e6ed764f0.tar.gz
ghdl-988eebde6d076261da5e94344b38445e6ed764f0.tar.bz2
ghdl-988eebde6d076261da5e94344b38445e6ed764f0.zip
vhdl: add iir_kind_psl_boolean_parameter node. For #2178
Diffstat (limited to 'src/vhdl/vhdl-prints.adb')
-rw-r--r--src/vhdl/vhdl-prints.adb5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-prints.adb b/src/vhdl/vhdl-prints.adb
index c15f55788..509eb223c 100644
--- a/src/vhdl/vhdl-prints.adb
+++ b/src/vhdl/vhdl-prints.adb
@@ -254,7 +254,8 @@ package body Vhdl.Prints is
| Iir_Kind_Group_Template_Declaration
| Iir_Kind_Character_Literal
| Iir_Kinds_Process_Statement
- | Iir_Kind_Psl_Endpoint_Declaration =>
+ | Iir_Kind_Psl_Endpoint_Declaration
+ | Iir_Kind_Psl_Boolean_Parameter =>
Disp_Identifier (Ctxt, Decl);
when Iir_Kind_Anonymous_Type_Declaration =>
Start_Lit (Ctxt, Tok_Identifier);
@@ -4966,6 +4967,8 @@ package body Vhdl.Prints is
Disp_Psl_Assume_Directive (Ctxt, Expr);
when Iir_Kind_Psl_Restrict_Directive =>
Disp_Psl_Restrict_Directive (Ctxt, Expr);
+ when Iir_Kind_Psl_Boolean_Parameter =>
+ Disp_Name_Of (Ctxt, Expr);
when Iir_Kind_Error =>
declare