From 5820aafb2a15383383a3b6cb124b193065dd5de6 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 8 Jan 2023 16:36:57 +0100
Subject: synth: improve support of subtype attribute

---
 src/synth/elab-vhdl_types.adb | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/synth/elab-vhdl_types.adb b/src/synth/elab-vhdl_types.adb
index a7657ceac..c448672ce 100644
--- a/src/synth/elab-vhdl_types.adb
+++ b/src/synth/elab-vhdl_types.adb
@@ -779,13 +779,13 @@ package body Elab.Vhdl_Types is
             when Iir_Kind_Subtype_Attribute =>
                declare
                   Pfx : constant Node := Get_Prefix (Atype);
-                  Vt : Valtyp;
+                  T : Type_Acc;
                begin
                   Mark_Expr_Pool (Marker);
-                  Vt := Synth_Name (Syn_Inst, Pfx);
+                  T := Exec_Name_Subtype (Syn_Inst, Pfx);
                   Release_Expr_Pool (Marker);
-                  pragma Assert (Vt.Typ.Is_Global);
-                  return Vt.Typ;
+                  pragma Assert (T.Is_Global);
+                  return T;
                end;
             when others =>
                Error_Kind ("elab_declaration_type", Atype);
-- 
cgit v1.2.3