diff options
Diffstat (limited to 'src/vhdl/sem_psl.adb')
| -rw-r--r-- | src/vhdl/sem_psl.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/vhdl/sem_psl.adb b/src/vhdl/sem_psl.adb index 98e258359..280b0d90b 100644 --- a/src/vhdl/sem_psl.adb +++ b/src/vhdl/sem_psl.adb @@ -164,7 +164,9 @@ package body Sem_Psl is when N_Sequence_Declaration => Res := Create_Node (N_Sequence_Instance); when N_Endpoint_Declaration => - Res := Create_Node (N_Endpoint_Instance); + -- Endpoints are considered as boolean variables. + Free_Node (N); + return Convert_Bool (Name); when N_Property_Declaration => Res := Create_Node (N_Property_Instance); when N_Boolean_Parameter |