aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/vhdl/vhdl-utils.adb10
1 files changed, 3 insertions, 7 deletions
diff --git a/src/vhdl/vhdl-utils.adb b/src/vhdl/vhdl-utils.adb
index 2cbc07890..fc97ba185 100644
--- a/src/vhdl/vhdl-utils.adb
+++ b/src/vhdl/vhdl-utils.adb
@@ -1515,13 +1515,9 @@ package body Vhdl.Utils is
return Null_Iir;
end if;
- case Get_Kind (Res) is
- when Iir_Kind_Entity_Declaration
- | Iir_Kind_Foreign_Module =>
- return Res;
- when others =>
- raise Internal_Error;
- end case;
+ pragma Assert (Kind_In (Res, Iir_Kind_Entity_Declaration,
+ Iir_Kind_Foreign_Module));
+ return Res;
end Get_Entity;
function Get_Configuration (Aspect : Iir) return Iir