diff options
| -rw-r--r-- | src/synth/synth-stmts.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index 4986ea1b1..5b5c6c2a2 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -2521,7 +2521,7 @@ package body Synth.Stmts is Val := Synth_Expression (Syn_Inst, Cond); if Is_Static (Val) then if Val.Scal /= 1 then - raise Internal_Error; + Error_Msg_Synth (+Stmt, "assertion failure"); end if; return; end if; |