aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/elab-vhdl_objtypes.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-11-28 18:14:15 +0100
committerTristan Gingold <tgingold@free.fr>2021-11-28 18:14:15 +0100
commit41600195196e67db0de2ea1e6b5ccbf792d97bfa (patch)
tree4946dc3d91ec8e581e159f8251c60b9737930e36 /src/synth/elab-vhdl_objtypes.adb
parent2f9ff04b013cd837936c4bbeef0f25ef9445e14a (diff)
downloadghdl-41600195196e67db0de2ea1e6b5ccbf792d97bfa.tar.gz
ghdl-41600195196e67db0de2ea1e6b5ccbf792d97bfa.tar.bz2
ghdl-41600195196e67db0de2ea1e6b5ccbf792d97bfa.zip
elab-vhdl_objtypes.adb: add an assertion
Diffstat (limited to 'src/synth/elab-vhdl_objtypes.adb')
-rw-r--r--src/synth/elab-vhdl_objtypes.adb2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/elab-vhdl_objtypes.adb b/src/synth/elab-vhdl_objtypes.adb
index da223b4a2..7532e3ae8 100644
--- a/src/synth/elab-vhdl_objtypes.adb
+++ b/src/synth/elab-vhdl_objtypes.adb
@@ -773,6 +773,8 @@ package body Elab.Vhdl_Objtypes is
procedure Init is
begin
+ pragma Assert (Boolean_Type = null);
+
Instance_Pool := Global_Pool'Access;
Boolean_Type := Create_Bit_Type;
Logic_Type := Create_Logic_Type;