diff options
Diffstat (limited to 'src/synth/synth-expr.adb')
| -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 82ceedfa2..5fdf30067 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -803,7 +803,8 @@ package body Synth.Expr is pragma Assert (Vtype.Kind = Type_Array); return Val; when Type_Unbounded_Vector => - pragma Assert (Vtype.Kind = Type_Vector); + pragma Assert (Vtype.Kind = Type_Vector + or else Vtype.Kind = Type_Slice); return Val; when Type_Record => -- TODO: handle elements. |