diff options
Diffstat (limited to 'src/synth/synth-expr.adb')
| -rw-r--r-- | src/synth/synth-expr.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index bbaf4d6a4..f17682d75 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -738,7 +738,7 @@ package body Synth.Expr is pragma Assert (Vtype.Kind = Type_Logic); return Vt; when Type_Discrete => - pragma Assert (Vtype.Kind = Type_Discrete); + pragma Assert (Vtype.Kind in Type_All_Discrete); declare N : Net; begin |