From 1989110a760403d7067936c98a22ea1eb0db2ab0 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 11 Jan 2023 05:29:05 +0100
Subject: simul: improve support of psl in debugger

---
 src/synth/elab-vhdl_debug.adb | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/synth')

diff --git a/src/synth/elab-vhdl_debug.adb b/src/synth/elab-vhdl_debug.adb
index 680f345ac..d9b14f75f 100644
--- a/src/synth/elab-vhdl_debug.adb
+++ b/src/synth/elab-vhdl_debug.adb
@@ -560,6 +560,9 @@ package body Elab.Vhdl_Debug is
               | Iir_Kind_Concurrent_Procedure_Call_Statement
               | Iir_Kind_Simple_Simultaneous_Statement =>
                null;
+            when Iir_Kind_Psl_Default_Clock
+              | Iir_Kind_Psl_Assert_Directive =>
+               null;
             when Iir_Kinds_Process_Statement =>
                --  Note: processes are not elaborated.
                if Cfg.With_Objs then
-- 
cgit v1.2.3