From d39b3167068585948b8aab12a1cc02023b1eaf6b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 9 Mar 2020 18:20:21 +0100
Subject: synth-stmts: do not limit to 32 state bits for PSL

---
 src/synth/synth-stmts.adb | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src')

diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index f230b7cfb..a5557cd94 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -2773,7 +2773,6 @@ package body Synth.Stmts is
       Clk_Inst : Instance;
    begin
       --  create init net, clock net
-      pragma Assert (Nbr_States <= 32);
       Init := Build_Const_UB32 (Build_Context, 1, Uns32 (Nbr_States));
       Clk := Synth_PSL_Expression (Syn_Inst, Get_PSL_Clock (Stmt));
 
-- 
cgit v1.2.3