diff options
Diffstat (limited to 'src/synth')
| -rw-r--r-- | src/synth/synth-expr.adb | 2 | ||||
| -rw-r--r-- | src/synth/synth-objtypes.ads | 1 |
2 files changed, 2 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 diff --git a/src/synth/synth-objtypes.ads b/src/synth/synth-objtypes.ads index c90937b64..8824eea18 100644 --- a/src/synth/synth-objtypes.ads +++ b/src/synth/synth-objtypes.ads @@ -86,6 +86,7 @@ package Synth.Objtypes is ); subtype Type_Nets is Type_Kind range Type_Bit .. Type_Logic; + subtype Type_All_Discrete is Type_Kind range Type_Bit .. Type_Discrete; type Type_Type (Kind : Type_Kind); type Type_Acc is access Type_Type; |