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(+)

(limited to 'src/synth/elab-vhdl_objtypes.adb')

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