From b57c47f3c516d156c046fe162a132b34e8806b7e Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 18 Nov 2019 07:30:06 +0100
Subject: synth-expr: properly set the return type in synth_bit_eq_const. For
 #1022

---
 src/synth/synth-oper.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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));
-- 
cgit v1.2.3