diff options
Diffstat (limited to 'src/grt/grt-rtis_utils.adb')
| -rw-r--r-- | src/grt/grt-rtis_utils.adb | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/grt/grt-rtis_utils.adb b/src/grt/grt-rtis_utils.adb index 159779d7c..636a0c9e3 100644 --- a/src/grt/grt-rtis_utils.adb +++ b/src/grt/grt-rtis_utils.adb @@ -753,14 +753,12 @@ package body Grt.Rtis_Utils is end; when Ghdl_Rtiks_Psl => declare - Obj : constant Ghdl_Rtin_Object_Acc := - To_Ghdl_Rtin_Object_Acc(Ctxt.Block); + Psl_Directive : constant Ghdl_Rtin_Psl_Directive_Acc := + To_Ghdl_Rtin_Psl_Directive_Acc(Ctxt.Block); begin - -- Ghdl_Rtin_Object does not have parents, therefore we cant - -- trace back through the hierarchy. Put only assertion name - -- and exit the loop - Prepend (Rstr, Obj.Name); - exit; + Prepend (Rstr, Psl_Directive.Name); + Prepend (Rstr, Sep); + Ctxt := Get_Parent_Context (Ctxt); end; when others => |