diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-07-02 07:39:46 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-07-02 07:39:46 +0200 |
| commit | 9b5de7a92a6ae8980bcaad0d1c87f0938c337f21 (patch) | |
| tree | b61c8d4d4077e5540de81b3d8d59cf10a96c96ff /src | |
| parent | 4dcb08358badd48db46887f5267adf5bcf0d64d2 (diff) | |
| download | ghdl-9b5de7a92a6ae8980bcaad0d1c87f0938c337f21.tar.gz ghdl-9b5de7a92a6ae8980bcaad0d1c87f0938c337f21.tar.bz2 ghdl-9b5de7a92a6ae8980bcaad0d1c87f0938c337f21.zip | |
vhdl-sem_psl: analyze strong properties
For #2116
Diffstat (limited to 'src')
| -rw-r--r-- | src/vhdl/vhdl-sem_psl.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index f17c49791..fc2c15fab 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -544,7 +544,8 @@ package body Vhdl.Sem_Psl is -- always/never. Sem_Property (Prop, Top); return Prop; - when N_Eventually => + when N_Eventually + | N_Strong => Sem_Property (Prop); return Prop; when N_Clock_Event => |