2 files changed, 1 insertions, 4 deletions
diff --git a/src/vhdl/vhdl-sem_decls.adb b/src/vhdl/vhdl-sem_decls.adb
index 11a07a1ae..8d7cbe50f 100644
--- a/src/vhdl/vhdl-sem_decls.adb
+++ b/src/vhdl/vhdl-sem_decls.adb
@@ -68,9 +68,6 @@ package body Vhdl.Sem_Decls is
    is
       Decl : Iir;
    begin
-      --  We deal only with signal attribute.
-      pragma Assert (Get_Kind (Attr) in Iir_Kinds_AMS_Signal_Attribute);
-
       --  There must be a declarative part for implicit signals.
       pragma Assert (Current_Signals_Region.Decls_Parent /= Null_Iir);
 
diff --git a/src/vhdl/vhdl-sem_names.adb b/src/vhdl/vhdl-sem_names.adb
index e7a1f836a..3993cae22 100644
--- a/src/vhdl/vhdl-sem_names.adb
+++ b/src/vhdl/vhdl-sem_names.adb
@@ -2030,7 +2030,7 @@ package body Vhdl.Sem_Names is
             return Res;
          when Iir_Kind_Dot_Attribute
             | Iir_Kind_Integ_Attribute =>
-            --  Already finished.
+            Sem_Decls.Add_Implicit_Declaration (Res);
             return Res;
          when Iir_Kinds_Type_Attribute
             | Iir_Kind_Subtype_Attribute