From 41600195196e67db0de2ea1e6b5ccbf792d97bfa Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 28 Nov 2021 18:14:15 +0100
Subject: elab-vhdl_objtypes.adb: add an assertion
---
src/synth/elab-vhdl_objtypes.adb | 2 ++
1 file changed, 2 insertions(+)
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;
--
cgit v1.2.3