diff options
| -rw-r--r-- | src/synth/synth-oper.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/synth/synth-oper.adb b/src/synth/synth-oper.adb index 884c9de10..45eddb435 100644 --- a/src/synth/synth-oper.adb +++ b/src/synth/synth-oper.adb @@ -107,7 +107,8 @@ package body Synth.Oper is Set_Location (N, Loc); return Create_Value_Net (N, Boolean_Type); elsif Val = 1 then - return Expr; + -- The result type is a boolean. + return Create_Value_Discrete (1, Boolean_Type); else pragma Assert (Val = 0); N := Build_Monadic (Build_Context, Id_Not, Get_Net (Expr)); |