diff options
Diffstat (limited to 'src/psl/psl-prints.adb')
| -rw-r--r-- | src/psl/psl-prints.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-prints.adb b/src/psl/psl-prints.adb index a810d751a..eec861ce7 100644 --- a/src/psl/psl-prints.adb +++ b/src/psl/psl-prints.adb @@ -74,6 +74,7 @@ package body PSL.Prints is | N_EOS | N_HDL_Expr | N_HDL_Bool + | N_Boolean_Parameter | N_Property_Instance | N_Sequence_Instance => return Prio_HDL; |