From 9b5de7a92a6ae8980bcaad0d1c87f0938c337f21 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 2 Jul 2022 07:39:46 +0200
Subject: vhdl-sem_psl: analyze strong properties

For #2116
---
 src/vhdl/vhdl-sem_psl.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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 =>
-- 
cgit v1.2.3