aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/translate/trans-chap7.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/translate/trans-chap7.adb')
-rw-r--r--src/vhdl/translate/trans-chap7.adb7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/vhdl/translate/trans-chap7.adb b/src/vhdl/translate/trans-chap7.adb
index 2dfc6c57e..5c9fc35bc 100644
--- a/src/vhdl/translate/trans-chap7.adb
+++ b/src/vhdl/translate/trans-chap7.adb
@@ -4037,6 +4037,13 @@ package body Trans.Chap7 is
| Iir_Kind_Selected_Name =>
return Translate_Expression (Get_Named_Entity (Expr), Rtype);
+ when Iir_Kind_Psl_Endpoint_Declaration =>
+ declare
+ Info : constant Psl_Info_Acc := Get_Info (Expr);
+ begin
+ return New_Value (Get_Var (Info.Psl_Count_Var));
+ end;
+
when others =>
Error_Kind ("translate_expression", Expr);
end case;