aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-vhdl_decls.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-vhdl_decls.adb')
-rw-r--r--src/synth/synth-vhdl_decls.adb2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/synth/synth-vhdl_decls.adb b/src/synth/synth-vhdl_decls.adb
index d8c074cd4..7732e47ec 100644
--- a/src/synth/synth-vhdl_decls.adb
+++ b/src/synth/synth-vhdl_decls.adb
@@ -723,8 +723,6 @@ package body Synth.Vhdl_Decls is
declare
Val : Valtyp;
begin
- pragma Assert (Areapools.Is_Empty (Expr_Pool));
-
Current_Pool := Instance_Pool;
Val := Create_Value_Memtyp (Create_Memory_U32 (0));
Current_Pool := Expr_Pool'Access;