diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/synth/synth-expr.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index 4bb556a22..78a843b6b 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -156,7 +156,8 @@ package body Synth.Expr is N : Net; begin case Val.Kind is - when Value_Array => + when Value_Array + | Value_Const_Array => pragma Assert (Val.Typ.Vbound.Len >= Off); return Val.Arr.V (Iir_Index32 (Val.Typ.Vbound.Len - Off)); when Value_Net |